View source
qbf_sts
  • Contributors
    1. Loading...
Author Commit Message Date Builds
20 commits behind master.
Bart Bogaerts
missing newline
Bart Bogaerts
added option
Bart Bogaerts
enabled universal levels for sts
Bart Bogaerts
special case
Bart Bogaerts
Added method for internal verification. Not finished
Bart Bogaerts
Made colors an interval (helps saucy???). At least fixes segfault in saucy
Bart Bogaerts
Merge branch 'qbf' of bitbucket.org:krr/breakid into qbf
Bart Bogaerts
segfault3
Bart Bogaerts
handle edge case
Bart Bogaerts
bugfix
Bart Bogaerts
fixed a bug in graph.cpp The problem was with setuniquecolor. This always sets the color equal to the last already used color. Not to a new one! Serious bug!
Bart Bogaerts
fixed bugs
Bart Bogaerts
oldoutput
Bart Bogaerts
Merge branch 'qbf' of bitbucket.org:krr/breakid into qbf
Bart Bogaerts
bug
Bart Bogaerts
gitignore
Bart Bogaerts
noopt
Bart Bogaerts
tests
Bart Bogaerts
bug
Bart Bogaerts
working version? To be tested and benchmarked
Bart Bogaerts
example qbf
Bart Bogaerts
removed output and improved algo
Bart Bogaerts
save