summaryrefslogtreecommitdiffstats
path: root/src/sat/satoko/solver.h
Commit message (Expand)AuthorAgeFilesLines
* New fixed point data type.Bruno Schmitt2017-02-101-13/+0
* Small changes to support old compilers.Bruno Schmitt2017-02-061-18/+18
* Adding a new SAT solver to ABC. (Satoko)Bruno Schmitt2017-02-061-0/+242