aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Collapse)AuthorAge
* Add solution_kconfigKarel Kočí2014-12-16
| | | | This script is for setting options from sat generated solution to kconfig.
* Add sat_solutionKarel Kočí2014-12-16
Added script for minisat input build and execute.