文件名称：S-SAT - Sapienza SAT-开源
文件大小：79KB
文件格式：TGZ
更新时间：2024-05-17 20:20:26
开源软件
在罗马的“ La Sapienza”大学的一门课程中，我开发了基于单元传播和回溯的，功能齐全的SAT解算器。 它可以读取DIMACS文件并处理任何长度的cnf公式（字面量的数量没有限制）。
【文件预览】：
s-sat-0.6beta
----src()
--------Makefile(752B)
--------vettori.c(3KB)
--------modulo1.h(0B)
--------modulo1.c(5KB)
--------logger.c(646B)
--------clausole.h(356B)
--------solver.c(14KB)
--------solver.h(2KB)
--------logger.h(345B)
--------letterali.h(468B)
--------clausole.c(3KB)
--------main.c(2KB)
--------vettori.h(2KB)
----README(2KB)
----test()
--------test_6-SAT.cnf(153B)
--------generate-3sat(8KB)
--------test_14-SAT.cnf(2KB)
--------.kdbgrc.modulo1(222B)
--------test_1-SAT.cnf(104B)
--------test_11-UNSAT.cnf(2KB)
--------test_12-SAT.cnf(2KB)
--------test_7-SAT.cnf(197B)
--------test_10-UNSAT.cnf(2KB)
--------test_2-UNSAT.cnf(56B)
--------test.c(2KB)
--------test_8-SAT.cnf(135KB)
--------test_3-SAT.cnf(60B)
--------test_13-UNSAT.cnf(2KB)
--------test_4-SAT.cnf(176B)
--------run.sh(3KB)
--------test_9-SAT.cnf(2KB)
--------test_5-SAT.cnf(133B)
--------a.out(21KB)
--------.kdbgrc.a.out(314B)
--------generate-3sat.c(2KB)