Resource Type:
Code
License:
GPL v. 2
Language:
Data Format:
Description
MINION is a new constraint solver, which is very fast and scales well as problem size increases. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits. These gains increase with problem size--MINION delivers scalable constraint solving.
Categorized in: Representation and Reasoning | Constraint-Based Reasoning
Post comment
Cancel