aboutsummaryrefslogtreecommitdiff
path: root/scripts/configurations.py
Commit message (Expand)AuthorAge
* Implement random generation of configurationsKarel Kočí2015-08-13
* Change hash calculating functionKarel Kočí2015-08-13
* Fix bug in configurations loadingKarel Kočí2015-08-12
* Fix problem with wrongly printed first line in CNF fileKarel Kočí2015-08-12
* Remove debud output of generated configurationKarel Kočí2015-08-12
* Fix if generated existing configurationKarel Kočí2015-08-12
* Fix bug in configuration.pyKarel Kočí2015-08-12
* 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