Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
v-lafeychine
LogIA
Repository
Branches
Overview
Active
Stale
All
4-implement-hornsolver
5e8f8e65
·
finished the trace
·
Dec 04, 2022
!2
main
default
protected
5e8f8e65
·
finished the trace
·
Dec 04, 2022
2-trace-feature-for-unsat
c94dfb43
·
feat(log): Add trace for XorSolver
·
Dec 04, 2022
!9
3-implement-xorsolver
74542b1e
·
fix(test): Valuations comparison
·
Nov 29, 2022
!7
8-argument-handling
ebd07bf0
·
chore(xor): Add xor parser
·
Nov 28, 2022
!6
9-create-tests-for-hornsat
ebd07bf0
·
chore(xor): Add xor parser
·
Nov 28, 2022
5-parser
d113bd97
·
feat(parser): Add complete HornParser
·
Nov 28, 2022
!4
7-refactor-architecture
80d6a29a
·
chore: Refactor architecture + Fixed impossible lifetime
·
Nov 27, 2022
!5
6-fix-horn-clause-litteral-representation
db4870d1
·
renamed variables which previously caused error
·
Nov 27, 2022
!3
1-creating-data-structures-for-hnf
31e1dd5a
·
fix(horn): Implement literals function to Horn clauses
·
Nov 27, 2022
!1