Commits · 6-fix-horn-clause-litteral-representation · v-lafeychine / LogIA

Nov 27, 2022
- renamed variables which previously caused error · db4870d1
  nartan authored 2 years ago
  
  db4870d1
- documentation changes · c741ae24
  nartan authored 2 years ago
  
  c741ae24
- fixed some formatting · 364c415b
  nartan authored 2 years ago
  
  364c415b
- improved representation of horn clauses · 7cb79a7d
  nartan authored 2 years ago
  
  7cb79a7d
- fix(horn): Implement literals function to Horn clauses · 31e1dd5a
  v-lafeychine authored 2 years ago
  
  31e1dd5a
- feat(solver): Add early solver + format configuration · 3a39aa0b
  v-lafeychine authored 2 years ago
  
  3a39aa0b
- feat(clause): Add initial structure · ae9982a7
  v-lafeychine authored 2 years ago
  
  ae9982a7
Nov 25, 2022
- added basic structures · bb95a302
  nartan authored 2 years ago
  
  bb95a302
Nov 23, 2022
- added structures for hnf, some of them are more generic · a21b0e82
  nartan authored 2 years ago
  
  a21b0e82
- Initial commit · 47bcd3aa
  v-lafeychine authored 2 years ago and v-lafeychine committed 2 years ago
  
  47bcd3aa