Commits

Commits on Jan 30, 2017

Define state_cmp
gdv
committed
fd54924

Commits on Dec 27, 2016

Free a character if possible
gdv
committed
f4b2910
Rewrite some comments
gdv
committed
cfb435b
More logging
gdv
committed
b82a596

Commits on Dec 26, 2016

Choose only among inactive characters
gdv
committed
2674831
Not ready for cryptominisat yet
gdv
committed
1a67bae
Better test for valgrind
gdv
committed
aa9baf7
new ruby version
gdv
committed
33f4d65

Commits on Nov 24, 2016

Correct parameters
gdv
committed
8bdcc0d
Compress output
gdv
committed
ee61f6b
Delete temporary files
gdv
committed
2d643c3
Run all programs
gdv
committed
4f181d8
Added polytime algorithm
gdv
committed
cdb3a9b

Commits on Nov 23, 2016

Correct parameters
gdv
committed
8d554be
Argument: number of parallel jobs
gdv
committed
759b251
Some instances are too large
gdv
committed
778ccd7
Some instances are simply too expensive to compute
gdv
committed
da5fe55

Commits on Jan 2, 2016

Better backtracking
gdv
committed
942ca6f
Better docs
gdv
committed
b0016c0
remove cryptominisat
gdv
committed
9f63f73
Force thirdparty directory creation
gdv
committed
aa3aaf4

Commits on Dec 31, 2015

Faster decision tree
gdv
committed
565703e
Better comments
gdv
committed
517686e

Commits on Dec 19, 2015

More verbose execution
gdv
committed
903c2e7
revert dir structure
gdv
committed
ac1bb72
Fix directory structure
gdv
committed
90f015c
Typo
gdv
committed
b97fc77
fixed option parsing
gdv
committed
2ead3e9

Commits on Dec 15, 2015

remove duplicated characters
gdv
committed
0922723
Make sure the ruby version exists
gdv
committed
5809b55
Typo
gdv
committed
bf63cab
parallel execution of the experiments
gdv
committed
550bf18

Commits on Nov 6, 2015

Lower ruby requirements
gdv
committed
206cbaf
Do not extract duplicates
gdv
committed
ab2e9c2
Extracting maximal characters
gdv
committed
06e204e