Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
cone_symb
17b223f4
·
minor
·
Dec 01, 2015
prop_sat
2c2cc616
·
output for COMP60332
·
Feb 13, 2016
qbf
07f9b4a0
·
added readme
·
Mar 18, 2016
tr_model
b867e1ee
·
tptp out fix
·
Apr 03, 2016
restructure_2016_04
a42c472c
·
minor clean up
·
Dec 07, 2016
learning_params
c1a5822d
·
Fix C interfacing bug in minisat
·
Feb 22, 2017
axiom_selection_2017
01b3c957
·
minor
·
Oct 08, 2017
abstr_ref_2018_KK
074cf693
·
minor
·
Jan 28, 2018
abstr_ref_2017
6b9fb52d
·
minor
·
Feb 12, 2018
iprover-ml
6b9fb52d
·
minor
·
Feb 12, 2018
abstr_ref_2018
eb5f18aa
·
Abstr_ref cleaning assumptions
·
Jan 29, 2019
andrepd-superposition_KK_2019_04_29
154c880c
·
Merging commit
7fedc3f6
·
May 08, 2019
andrepd-superposition-orderings-opt
4b055da7
·
Diagrams
·
May 30, 2019
andrepd-superposition-orderings-noopt
575eeffc
·
Multiset ordering, with caching
·
May 30, 2019
andrepd-superposition-orderings-debug
09ca59f5
·
Both modes, and assert equal
·
May 30, 2019
andrepd-superposition-orderings-noopt-nocache
007b3289
·
Multiset ordering, without caching
·
May 30, 2019
andrepd-superposition_KK_sat_2019_06
16c6d681
·
Merge branch 'andrepd-superposition' into andrepd-superposition_KK_sat_2019_06
·
Jun 30, 2019
andrepd-superposition_KK_2019_06
7b9a7eb6
·
Merge branch 'andrepd-superposition' into andrepd-superposition_KK_2019_06
·
Jul 01, 2019
andrepd-superposition-noreasons
d1ac31a9
·
Changed side simplification, doesn't seem to improve
·
Jul 12, 2019
andrepd-superposition_KK_restr_sched_2019_07_ad_merge
3e138d2f
·
Merge branch 'andrepd-superposition_KK_restr_sched_2019_07_ad_merge' into...
·
Jul 25, 2019
Prev
1
2
3
4
Next