dpll_solver 0.0.1

This is a small SAT solving tool for either DIMACS file input (max. 20 variables, 80 lines) or boolean expressions in string format i.e. '(x1 * (x3 + x4))'.

Gemfile:
= 复制到剪贴板已复制！

安装:
=

版本列表:

0.0.1 - March 11, 2014 (14.0 KB)

Runtime 依赖 (1):

parslet >= 0

Development 依赖 (5):

binding_of_caller >= 0

bundler >= 0

pry >= 0

rake >= 0

rspec >= 0

显示所有传递性依赖

业主:

作者:

thebluber

SHA 256 校验和:

0b420a55c62bcfda97b986c1c6528a5d3de19dcb92a7dc30d801961fcc739dfb