summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose2/Vec.h
Commit message (Expand)AuthorAgeFilesLines
* Upgrade to the circuit-based solver.Alan Mishchenko2021-04-271-1/+18
* Upgrading the SAT solvers.Alan Mishchenko2020-11-141-1/+2
* Duplicating Glucose package.Alan Mishchenko2020-11-121-0/+134