Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Stale branches
1-add-basic-argument-handling
025f13e8
·
chore: help message
·
Nov 16, 2022
!1
2-add-basic-program-logic
dd4f481f
·
feat: basic program logic
·
Nov 16, 2022
!2
3-add-a-random-xor-dimacs-file-generator
a815e29b
·
basic generator and test interface with dune
·
Nov 17, 2022
!4
4-add-xor-sat-algorithm
07cc8354
·
fix gitignore
·
Nov 17, 2022
5-add-horn-sat-algorithm
ad6e573f
·
correct algo
·
Dec 01, 2022
!8
Show more stale branches