Skip to content
GitLab
Explore
Sign in
TAVA
BaxMC
Repository
Branches
Overview
Active
Stale
All
baxmc_smt
68a231aa
·
chore: add AUTHORS file
·
Oct 19, 2023
main
default
protected
68a231aa
·
chore: add AUTHORS file
·
Oct 19, 2023
proof
d84a774e
·
feat: proof logging format for resolution
·
Nov 16, 2022
implication_graph
a4e9ad0d
·
feat: exploit literal equivalences in formulas
·
May 11, 2022
configure-decision-heuristic
d33966bc
·
feat: add decision heuristics
·
Apr 11, 2022
forward_new_style
b6652bd5
·
feat: implement new-style forward
·
Apr 01, 2022
symetry
917f5524
·
feat: add dynamic symetry breaking
·
Feb 21, 2022
backward_new_ds
4b200295
·
feat: use new datastructure backwards too
·
Feb 15, 2022
restarts
514b5f92
·
feat: add restarting ability
·
Feb 12, 2022
leads_rafine
c0fefa7f
·
perf: rafine leads
·
Feb 10, 2022
nonstrict_backward
a71005e0
·
feat: allow non-strict backward
·
Feb 09, 2022