copy of SAT solver picosat from http://fmv.jku.at/picosat/ + some fixes
z
picosat
public
4 stars
0 forks
0 issues
Commits
List of commits on branch master.Unverified
a54f54bd0b7609efcc1bd9ec5409869ad53775efUpdate README.md
zzimmski committed 12 years ago
Unverified
7e953753771263de3a25e54f6b575e700cf4d0daadjust some functions to use new API style
zzimmski committed 12 years ago
Unverified
021057bbc07e704404cbcb834b4766313688594edisable NADC
zzimmski committed 12 years ago
Unverified
f0e185472c07451002ac595c71fdbc1bcdc5ee1cinitial commit
zzimmski committed 12 years ago
Unverified
dd2ea249d8151ed87b8e81955c2e4a79c7630dc3Initial commit
zzimmski committed 12 years ago