首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 一个命题可满足性求解和模型反

一个命题可满足性求解和模型反

  • 资源大小:210.00 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:0次
  • 资源积分:1积分
  • 标      签: 模型 一个 求解 满足 命题

资 源 简 介

relsat is a program for solving instances of the propositional satisfiability problem (SAT). For a given input instance, it can be used to determine satisfiability, output any number of solutions (should they exist), or determine the exact number of solutions.

文 件 列 表

BigNum.h
BigNum_dll.h
BigNum_fake.h
Clause.cpp
Clause.h
ClauseList.cpp
ClauseList.h
Debug.cpp
Debug.h
GetOpt.h
HOW_TO_BUILD
LightweightTypes.h
MAN_PAGE
Makefile.linux
Makefile.w32
Maximums.h
RandGen.cpp
RandGen.h
Random.cpp
Random.h
SATInstance.cpp
SATInstance.h
SATPreprocessor.cpp
SATPreprocessor.h
SATSolver.cpp
SATSolver.h
VariableList.cpp
VariableList.h
VariableSet.h
WHATS_NEW
main.cpp
my_gmp.h
sat_solve.cpp
VIP VIP
0.173136s