projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5346f6) | patch
Fixes to the cnf converter. Also a barebones utility for printing out a satisifying...
authorTim King <taking@cs.nyu.edu>
Thu, 4 Feb 2010 00:47:45 +0000 (00:47 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 4 Feb 2010 00:47:45 +0000 (00:47 +0000)
commit7329c1f1e3603c86c7ad88cbdefe2393d9740d98
treee48162e6caf29209ccc0d6bc2d56832b33d17859tree
parentd5346f64d7031d17f865cb128d5f1171f60074edcommit | diff
Fixes to the cnf converter. Also a barebones utility for printing out a satisifying model.
src/expr/node.cpp diff | blob | history
src/prop/cnf_stream.cpp diff | blob | history
src/prop/prop_engine.cpp diff | blob | history