Version 3.15 released
In new version 3.15 encoding of the current problem via SAT was modified again.



More...