summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/IntTypes.h
Commit message (Expand)AuthorAgeFilesLines
* Add WASI platform support to glucose.whitequark2020-06-221-8/+6
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-0/+2
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-0/+47