summaryrefslogtreecommitdiffstats
path: root/src/sat/glucose/System.h
Commit message (Expand)AuthorAgeFilesLines
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-0/+13
* Addressing recently reported Bitbucket Issue #72 and #73.Alan Mishchenko2017-10-031-1/+1
* Renaming Glucose namespace to avoid collisions with external solvers.Alan Mishchenko2017-09-061-3/+3
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-0/+60