AMDave
08-02-2013, 06:33 PM
Version 3.15 released
In new version 3.15 encoding of the current problem via SAT was modified again.
More... (http://sat.isa.ru/pdsat/all_news.php#71)
In new version 3.15 encoding of the current problem via SAT was modified again.
More... (http://sat.isa.ru/pdsat/all_news.php#71)