Tags
Tags give the ability to mark specific points in history as being important
cp25-experiments
7116cbc7
·
log unnormalized division using weakenings
·
Jun 06, 2025
pb24-log
01be2c2d
·
Delayed obj log seems safe enough
·
Jul 30, 2024
monthly.21.03
67a39421
·
Merge branch 'arb_wcnf' into 'master'
·
Mar 05, 2021
proofanalyze
c5cebf57
·
Example feature logging for proof analysis project.
·
Jan 31, 2021
stat_bound_development
eb457dd8
·
Merge branch 'coreguided' into stat_bound_development
·
Sep 17, 2020
objective_stats
2a41224d
·
print objective stats and nothing else
·
Aug 20, 2020
jik-restarts
4df20948
·
Fix failed merge...
·
Jun 23, 2020
pure_lits_print
b12ac19b
·
print out reduced file
·
Jun 08, 2020
prefetch
74f01ae6
·
a little cleanup
·
Jun 03, 2020
roundingsat2-oldpropagation
b2e6c1c6
·
final tweaks
·
Jun 01, 2020
roundingsat2-bnn
71bee716
·
improved option original-rto
·
May 19, 2020
pure_lits
224a0505
·
tmp
·
May 18, 2020
roundingsat2_multverif_paul
ea34320b
·
slack of a constraint with 64 bit coefs should be calculated in 128 bits
·
May 12, 2020
roundingsat2_multverif_nosoplex
4594200b
·
no soplex
·
May 09, 2020
roundingsat2_multverif
bc156a47
·
More options and stats
·
May 08, 2020
roundingsat2_soplex_LearnToRelax
e51c4813
·
adjust default options
·
Apr 28, 2020
roundingsat2_alpha
1105fd62
·
Update copyright notice
·
Mar 08, 2020
oldpropagation
7292c2a7
·
Old propagation
·
Feb 28, 2020
cardinality_detection_AAAI
4da1de78
·
AAAI version
·
Jan 29, 2020
self-subsumption
5b1d2468
·
tmp
·
Nov 04, 2019
Previous
1
2
Next