Skip to content
GitLab
Explore
Sign in
aalbert
LogIA
Repository
Branches
Overview
Active
Stale
All
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
6-add-explanations-and-complete-readme
94049b09
·
Resolve "add horn sat algorithm"
·
Dec 01, 2022
7-complete-mini-project-2
d110be83
·
edit readme
·
Jan 02, 2023
!11
main
default
protected
5837b3ae
·
remove unused file
·
Jan 02, 2023