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

您现在的位置是:虫虫源码 > 其他 > 一个GUI的预处理器和SAT求解器

一个GUI的预处理器和SAT求解器

  • 资源大小:571.39 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: gui SAT 一个 预处理 求解

资 源 简 介

A GUI for preprocessor and SAT solver I did for my TER at University of Artois, France, in 2010. The aim of this project is to provide a GUI for SAT resolution tools that will simplify the use of this kind of program : - no command line - graphic represention of the CNF and preprocessor execution - access to CNF statistic - possibilty to save all your operation in a session of work and reload it later - possibility to import solver that are not integrated in the application if they respect the satcompetition requirement http://www.satcompetition.org/2009/format-solvers2009.html and to save them for your next sessions It allows you to lunch preprocessor or solver on a CNF and to have access to a graphic represention and a maximum of usefull informations about them. New version is available that fix some bugs !!

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.158509s