CLPS-B - A Constraint Solver for B
Abstract elided by the publisher.
Related papers
- HM(X) type inference is CLP(X) solving JFP 2008
- The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering POPL 1993
- An interval constraint system for lattice domains TOPLAS 2004
- Analytic Constraint Solving and Interval Arithmetic POPL 2000
- Independence in CLP languages TOPLAS 2000
- Typing Linear Constraints for Moding CLP() Programs SAS 2008
- Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach GPCE 2023
- A Methodology for Managing Hard Constraints in CLP Systems PLDI 1991