AMDave
07-19-2013, 02:03 AM
Version 3.14 released
In new version 3.14 encoding of the current problem via SAT was modified.
More... (http://sat.isa.ru/pdsat/all_news.php#70)
In new version 3.14 encoding of the current problem via SAT was modified.
More... (http://sat.isa.ru/pdsat/all_news.php#70)