Alloy*: a general-purpose higher-order relational constraint solver.
Aleksandar MilicevicJoseph P. NearEunsuk KangDaniel JacksonPublished in: Formal Methods Syst. Des. (2019)
Keyphrases
- constraint solver
- general purpose
- higher order
- constraint solving
- constraint propagation
- constraint programming
- linear constraints
- constraint satisfaction problems
- constraint satisfaction
- arc consistency algorithm
- pairwise
- natural images
- real numbers
- relational databases
- markov random field
- programming language
- data model
- constraint logic programming
- constraint solvers
- sat solvers
- orders of magnitude
- genetic algorithm