summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satSolver_old.c
Commit message (Expand)AuthorAgeFilesLines
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-0/+1766
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-01 07:47:40 +0000