aboutsummaryrefslogtreecommitdiff
path: root/scripts/configurations.py
Commit message (Expand)AuthorAge
* Add name of configuration option to generator name for single-satKarel Kočí2015-09-28
* Fix configuration generationKarel Kočí2015-08-26
* Fix random configuration generatorKarel Kočí2015-08-26
* Fix wrong function call in configurations scriptKarel Kočí2015-08-24
* Fix wrong input type to compare_text in register_confKarel Kočí2015-08-19
* Fix wrong exception excepted in configurations scriptKarel Kočí2015-08-18
* Generate configuration as ditionary in picosat functionKarel Kočí2015-08-18
* Fix bug in wrong input type to CNF file generatorKarel Kočí2015-08-18
* Generated configuration is now fully stored to databaseKarel Kočí2015-08-17
* Fix configuration generation missing file exceptionKarel Kočí2015-08-13
* Fix single_generated_file writebackKarel Kočí2015-08-13
* Fix generate single configurationKarel Kočí2015-08-13
* Implement random generation of configurationsKarel Kočí2015-08-13
* Fix bug in configurations loadingKarel Kočí2015-08-13
* Fix problem with wrongly printed first line in CNF fileKarel Kočí2015-08-13
* Fix if generated existing configurationKarel Kočí2015-08-13
* Fix bug in configuration.pyKarel Kočí2015-08-13
* Change hash calculating functionKarel Kočí2015-08-13
* Single configuration generation ensured to generate only singleKarel Kočí2015-08-12
* Add generator identifier to configuration in databaseKarel Kočí2015-07-28
* Scripts changed to use database.Karel Kočí2015-07-28
* Fix big amount of bugs in recently commited codeKarel Kočí2015-07-24
* Rewrite configuration scriptKarel Kočí2015-07-24
* Rename solution script to configurationsKarel Kočí2015-07-22
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-19 00:34:43 +0000