summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/Vec.h
Commit message (Expand)AuthorAgeFilesLines
* Add WASI platform support to bsat2 and glucose.whitequark2021-11-121-0/+4
* Upgrading the SAT solvers.Alan Mishchenko2020-11-141-1/+2
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-0/+4
* Compiler warnings.Alan Mishchenko2017-09-071-1/+1
* Renaming Glucose namespace to avoid collisions with external solvers.Alan Mishchenko2017-09-061-1/+1
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-0/+130