CLPS-B - A constraint solver to animate a B specification.
Fabrice BouquetBruno LegeardFabien PeureuxPublished in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
- constraint solver
- constraint solving
- linear constraints
- constraint propagation
- constraint programming
- constraint satisfaction
- constraint satisfaction problems
- constraint logic programming
- arc consistency algorithm
- high level
- sat solvers
- real numbers
- constraint solvers
- user defined
- object oriented
- linear programming
- upper bound
- special case
- relational databases
- computational complexity
- pattern recognition
- optimal solution