aboutsummaryrefslogtreecommitdiff
path: root/scripts/sat_solution
Commit message (Collapse)AuthorAge
* Implementing main loopKarel Kočí2015-02-03
| | | | | | | | These new scripts are part of main loop. kernel is not finished!! Divides kconfig_parser, sat_solution to better named modules. Phasing and iteration is implemented for loop watching.
* Add sat_solutionKarel Kočí2014-12-16
Added script for minisat input build and execute.