Branches

• 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