Branches

• andrepd/smt-interface_2020_05_29_sched_files

  62ed0cda · Merge branch 'andrepd/smt-interface-perfect-discrimination-trees' into... · Jul 08, 2020
• andrepd/smt-interface-perfect-discrimination-trees

  41c4b0d8 · Fix bug in encompassment order check for demodulation. · Aug 18, 2020
• andrepd/smt-interface-noeqpred-2020-11-03-subs

  351f8089 · merge: master · Dec 17, 2020
• andrepd/smt-interface-noeqpred-2020-12-20-new-comb

  b3af3e48 · proof_search_loop: ps_loop_main: iter over all max deficit comps · Jan 01, 2021
• andrepd/smt-interface-noeqpred-2021-01-01-sup-deepening

  e105e5d7 · statstics.ml: fix name · Jan 10, 2021
• andrepd/smt-interface-noeqpred-2021-02-12-KK

  52605c59 · instantiation_loop:consistent_with_solver added consist_with_assumptions · Feb 12, 2021
• andrepd/smt-interface-noeqpred-2021-01-11-shared-cl

  6d9501fd · Merge branch 'andrepd/smt-interface-noeqpred' into... · Feb 14, 2021
• andrepd/smt-interface-noeqpred

  3a1b5426 · Merge remote-tracking branch 'origin/master' into andrepd/smt-interface-noeqpred · Apr 11, 2021
• master-tomerge

  be868efd · Sync branches wrt. minor formatting and other stuff · Apr 11, 2021
• andrepd/ac-norm-demod-kk-2020-04-28-opts

  0615f5f5 · merge · May 23, 2021
• andrepd/ac-norm-demod-kk-2021-05-29-smt

  267f98d4 · symbol.ml:sproperty added: Num_real| Num_int| Num_rat · Jun 06, 2021
• andrepd/ac-norm-demod-kk-2021-06-10-smt-z3

  c4bbc251 · rm warnings unsupported symbols · Jun 16, 2021
• andrepd/smt-interface-noeqpred-2021-06-18-kk-smt

  40c7dcff · iproveropt-tptp-multi-core.sh: help fix · Jul 17, 2021
• master-tmp1

  9274fe85 · help update · Dec 03, 2021
• revert-294c73c1

  cb320720 · Revert "Merge branch 'configuration' into 'master'" · Jan 11, 2022
• andrepd/ac-norm-demod

  888ff719 · Cleanup and make type-safe the code for handling symbol fast keys (and... · May 04, 2022
• 2022_07_CASC

  69e28342 · fix: arity cmp when Undef · Jul 26, 2022
• andrepd/lemma-learning

  4f8ae35f · Statistics · Oct 11, 2022
• 2022_10_03_merge

  ef974795 · merge · Nov 04, 2022
• 2021_Nov_Bio

  c509c08a · minor · Nov 06, 2022