MINION

MINION

瀏覽:753
日期:2025-10-10
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 probl...看更多