Программы s-sat.sf.net

Во время курса в Университете «Квота;La Sapienza»; в Риме я разработал полностью работающий SAT-решател, основанный на распространении единицы и отступлении; он может читать файлы DIMACS и обрабатывать формулы cnf любой длины