dekker.one / on-restart-benchmarks
This repository has no description
Star
Fork 0
Watch

Commits on develop

Update figure output develop
Jip J. Dekker committed
Complete incremental benchmarks
Jip J. Dekker committed
Merge commit 'c6a967f23a254ec85f50a83266826f74c7f77ef5' into develop
Jip J. Dekker committed
Squashed 'software/mza/' changes from 15b5b1ca03..b74e0a6989
Jip J. Dekker committed
Merge commit 'de3359c8ebda7c605760e41bd1f4387633424709' into develop
Jip J. Dekker committed
Squashed 'software/gecode/' changes from 70a1cfa856..0a39b58153
Jip J. Dekker committed
Merge commit '4fe5775e57bcf3d5b6c7df13f11a1f7c3c3615cb' into develop
Jip J. Dekker committed
Squashed 'software/mza/' changes from bf2c1f31bc..15b5b1ca03
Jip J. Dekker committed
Merge commit '2c8ad0004aacbd87b80f67970c2da0d051ff8279' into develop
Jip J. Dekker committed
Squashed 'software/minizinc/' changes from 4f10c82056..93be33a6c2
Jip J. Dekker committed
Change to pyflow
Jip J. Dekker committed
Merge commit '5df85436d574a843ea4c3f7107149d5b494b94a1' into develop
Jip J. Dekker committed
Squashed 'software/mza/' changes from 9c048083d6..bf2c1f31bc
Jip J. Dekker committed
Merge commit '0e88ebc728dfa90111db66372bbbb37cefe77c20' into develop
Jip J. Dekker committed
Squashed 'software/mza/' changes from f970a59b17..9c048083d6
Jip J. Dekker committed
Merge commit '2572df06639bafaae65b2e919291f0306da6b010' as 'software/gecode_base'
Jip J. Dekker committed
Squashed 'software/gecode_base/' content from commit bbefcea214
Jip J. Dekker committed
Squashed 'software/mza/' content from commit f970a59b17
Jip J. Dekker committed
Merge commit 'f2a1c4e38910290dc9c0caf84e7d104e58eb7b49' as 'software/mza'
Jip J. Dekker committed
Squashed 'software/gecode/' changes from 313e87646d..70a1cfa856
Jip J. Dekker committed
Merge commit '67191769756e84fc5b7b3c401048fef6b8adff67' into develop
Jip J. Dekker committed
Initial changes to merge incremental benchmarks
Jip J. Dekker committed
Add Pipfile
Jip J. Dekker committed
Add script for cumulative graphs
Jip J. Dekker committed
Update analysis scripts
Jip J. Dekker committed
Add solver output
Jip J. Dekker committed
Use separate models for record/replay so chuffed behaves correctly
Jip J. Dekker committed
Update analysis script for Gecode
Jip J. Dekker committed
Fix time flag for new version of chuffed
Jip J. Dekker committed
Bash variable style in gecode restart scripts
Jip J. Dekker committed
Fix chuffed restarting script (Output and timing flags have changed)
Jip J. Dekker committed
Adjust analysis scripts for Python and solver versions
Jip J. Dekker committed
Squashed 'software/minizinc/' content from commit 4f10c8205
Jip J. Dekker committed
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
Jip J. Dekker committed
Merge commit '394edc7c8de7946c50e0260c7b9c24ea4ae878a2' as 'software/chuffed'
Jip J. Dekker committed
Squashed 'software/chuffed/' content from commit 4b88dae8a
Jip J. Dekker committed
Merge commit '981be2067eb416f6e993d02a13989d8392283a9a' as 'software/gecode_on_replay'
Jip J. Dekker committed
Squashed 'software/gecode_on_replay/' content from commit 8051d92b9
Jip J. Dekker committed
Merge commit '3e72b0e85711db8245c5a5a7eb473c54b2f042fe' as 'software/gecode_on_record'
Jip J. Dekker committed
Squashed 'software/gecode_on_record/' content from commit 37ed9bda4
Jip J. Dekker committed
Merge commit '1d9faf38deff0765e571fde89caae52a99362c5b' as 'software/gecode'
Jip J. Dekker committed
Squashed 'software/gecode/' content from commit 313e8764
Jip J. Dekker committed
Remove submodules (to be replaced by subtrees)
Jip J. Dekker committed
Adjust models to use newest restart library (suing lastval)
Jip J. Dekker committed
Adjust scripts for bash
Jip J. Dekker committed
Link solver libraries into MiniZinc
Jip J. Dekker committed
Add correct version of the MiniZinc compiler
Jip J. Dekker committed
Add readme file
Jip J. Dekker committed
Use bash instead of zsh
Jip J. Dekker committed
Format python files
Jip J. Dekker committed
Build using multiple threads
Jip J. Dekker committed
Adjust scripts for new MiniZinc version and solver location
Jip J. Dekker committed
Use same binary for restart and normal run
Jip J. Dekker committed
Add scripts for compiling
Jip J. Dekker committed
Add software submodules for versioning
Jip J. Dekker committed
Add original benchmarks
Jip J. Dekker committed