MiniCP: a lightweight solver for constraint programming
Laurent Michel, Pierre Schaus, Pascal Van Hentenryck
Topics & Concepts
Constraint programmingSolverComputer scienceConstraint satisfactionProgramming languageFlexibility (engineering)Constraint (computer-aided design)Concurrent constraint logic programmingExtensibilityProblem solverSet (abstract data type)Theory of computationSoftware engineeringConstraint logic programmingConstraint satisfaction problemReactive programmingInductive programmingProgramming paradigmMathematical optimizationStochastic programmingFunctional logic programmingMathematicsArtificial intelligenceProbabilistic logicGeometryStatisticsConstraint Satisfaction and OptimizationModel-Driven Software Engineering TechniquesScheduling and Timetabling Solutions