文件名称：Flipper-开源
文件大小：72KB
文件格式：TGZ
更新时间：2024-05-17 03:38:16
开源软件
Flipper是一个程序，它对纯谓词演算中的3个变量前言语句的可满足性进行随机局部搜索。 通过证明相对于给定决策理论的可满足性来做到这一点。
【文件预览】：
flipper
----COPYING(15KB)
----includes()
--------tables_finite.h(2KB)
--------tables_descr10.h(3KB)
--------intset.h(1KB)
--------tables_pres_less_pair.h(13KB)
--------headers.h(1KB)
--------tables_do00_succ.h(60KB)
--------tables_do10.h(3KB)
--------diff.c(30KB)
--------composed.h(3KB)
--------tables_pres.h(13KB)
--------formula.h(7KB)
--------tables_quadruple.h(11KB)
--------defines.h(6KB)
--------composed.c(17KB)
--------core(420KB)
--------tables_do00.h(3KB)
--------defines.h.rev(4KB)
--------tables_pres_less.h(54KB)
--------tables_leq.h(3KB)
--------tables_succ.h(4KB)
--------params.h(562B)
--------formula.pl(548B)
--------Makefile(288B)
--------tables.h(11KB)
--------simple.c(11KB)
--------bkp.diff_c(25KB)
--------tables_succ_leq.h(11KB)
--------intset.c(3KB)
--------simple.h(3KB)
--------tables_succ_less.h(10KB)
--------tables_weird.h(3KB)
--------defines.h.fwd(4KB)
----examples()
--------infax1.pl(121B)
--------kauer.pl(152B)
--------temp.p(115B)
--------random_3_10_24.pl(20KB)
--------infax4.pl(548B)
--------infax3.pl(332B)
--------infax5.pl(44B)
--------count5.pl(334B)
--------infax2.pl(59B)
--------quantifiers.pl(31B)
--------contradiction.pl(30B)
--------rand4ca.pl(443B)
--------infax6.pl(105B)
----fotrans()
--------fo2latex.pl(3KB)
--------sortit.pl(4KB)
--------fo2tptp.pl(4KB)
--------formula.h(444B)
--------atomic.pl(249B)
--------common.pl(1KB)
--------Makefile(131B)
--------fo2c.pl(11KB)
----Makefile(447B)
----README(4KB)
----bin()
--------flipper(197B)
--------Makefile(32B)