diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-17 11:41:50 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-17 12:07:08 +0200 |
| commit | 485c55bcca5ad0480cf3c73b006a98e26ccc3f52 (patch) | |
| tree | 8e237c9bd33c8d58e928ef65fceb098b030848de /scripts/picosat-959/LICENSE | |
| parent | 0369c9efcd941d9f76364568d56024b841aa66b9 (diff) | |
| download | linux-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