Программы parallelsat4j.sf.net

Это академический проект; основная цель заключается в создании алгоритма параллелизации формулы CNF, а затем кормить распределенных частей для последовательных SAT решателей, для этого проекта мы решили использовать Sat4J в к