summaryrefslogtreecommitdiffstats
path: root/src/sat/satoko/solver_api.c
Commit message (Expand)AuthorAgeFilesLines
* New fixed point data type.Bruno Schmitt2017-02-101-2/+9
* - Adding a compile time option to use floats for var activity (now it can be ...Bruno Schmitt2017-02-091-3/+4
* Small changes to support old compilers.Bruno Schmitt2017-02-061-6/+6
* Adding a new SAT solver to ABC. (Satoko)Bruno Schmitt2017-02-061-0/+310