Minion

solver for constraint satisfaction problems

Categories: