projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b557860) | patch
Adding info in the minisat README
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 15 Apr 2010 19:07:50 +0000 (19:07 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 15 Apr 2010 19:07:50 +0000 (19:07 +0000)
commitfd376e254916e20310427d7a670e580105769970
tree2effb050982fb2632a310b0c1595853822970317tree
parentb5578603c5390b643a4dc6dd4a2ee0679ac5f7e7commit | diff
Adding info in the minisat README
src/prop/minisat/CVC4-README diff | blob | history