Commits · main · Baier, Michael / Knowledege Compilation

Mar 06, 2024
- Add license file · 4fb01187
  Baier, Michael authored 1 year ago
  
  4fb01187
Mar 04, 2024
- Update Readme · ce14008b
  Baier, Michael authored 1 year ago
  
  ce14008b
- new latex table layout · 5e5689d6
  Baier, Michael authored 1 year ago
  
  5e5689d6
Oct 25, 2023
- Merge · e12f86cb
  Baier, Michael authored 1 year ago
  
  e12f86cb
- Initial commit · 7043987a
  Baier, Michael authored 1 year ago
  
  7043987a
Oct 22, 2023
- Result to Table · 014b1e17
  Baier, Michael authored 1 year ago
  
  014b1e17
Oct 04, 2023
- Added Benchmark · bd4b3001
  Baier, Michael authored 1 year ago
  
  bd4b3001
Sep 05, 2023
- Performance stats · 8d5c82be
  Baier, Michael authored 1 year ago
  
  8d5c82be
- test · 32b308fa
  Baier, Michael authored 1 year ago
  
  32b308fa
- Added Z3 solver · c725144a
  Baier, Michael authored 1 year ago
  
  c725144a
- Nearly Done · 565df0c3
  Baier, Michael authored 1 year ago
  
  565df0c3
Sep 04, 2023
- new beginnig · 89ecd90f
  Baier, Michael authored 1 year ago
  
  89ecd90f
Apr 20, 2023
- linting · 20b49941
  Baier, Michael authored 1 year ago
  
  20b49941
Apr 19, 2023
- Added Instances · 1a3688e5
  Baier, Michael authored 1 year ago
  
  1a3688e5
Mar 23, 2023
- Basic Structure · 4b5a1788
  Baier, Michael authored 1 year ago
  
  4b5a1788