Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tags
Tags give the ability to mark specific points in history as being important
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
Release:
Monthly Build March 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
cardinality_detection
8be1f1fe
·
Merge branch 'cardinality_detection' of...
·
Jun 07, 2019