Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix bug in configurations loading | Karel Kočí | 2015-08-12 |
* | Fix problem with wrongly printed first line in CNF file | Karel Kočí | 2015-08-12 |
* | Remove debud output of generated configuration | Karel Kočí | 2015-08-12 |
* | Fix if generated existing configuration | Karel Kočí | 2015-08-12 |
* | Fix bug in configuration.py | Karel Kočí | 2015-08-12 |
* | Single configuration generation ensured to generate only single | Karel Kočí | 2015-08-12 |
* | Add generator identifier to configuration in database | Karel Kočí | 2015-07-28 |
* | Scripts changed to use database. | Karel Kočí | 2015-07-28 |
* | Fix big amount of bugs in recently commited code | Karel Kočí | 2015-07-24 |
* | Rewrite configuration script | Karel Kočí | 2015-07-24 |
* | Rename solution script to configurations | Karel Kočí | 2015-07-22 |