aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/LICENSE
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-17 11:41:50 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-17 12:07:08 +0200
commit485c55bcca5ad0480cf3c73b006a98e26ccc3f52 (patch)
tree8e237c9bd33c8d58e928ef65fceb098b030848de /scripts/picosat-959/LICENSE
parent0369c9efcd941d9f76364568d56024b841aa66b9 (diff)
downloadlinux-conf-perf-485c55bcca5ad0480cf3c73b006a98e26ccc3f52.tar.gz
linux-conf-perf-485c55bcca5ad0480cf3c73b006a98e26ccc3f52.tar.bz2
linux-conf-perf-485c55bcca5ad0480cf3c73b006a98e26ccc3f52.zip
Simplify parse_kconfig generated CNF formulas
Not isn't now generated using additional variable. All head formulas for all configuration options are now printed directly as formulas. Not build using functions.
Diffstat (limited to 'scripts/picosat-959/LICENSE')
0 files changed, 0 insertions, 0 deletions