Commits · 3045d2f21540fce41f57c7421ca3359f8b74782a · Buckworth, Titus Frederick Christian C / arc

Nov 11, 2024
- finally got tests working, but lution is wrong · 3045d2f2
  tbuckworth authored 4 months ago
  
  3045d2f2
- finally got tests working, but lution is wrong · 5d273ddf
  tbuckworth authored 4 months ago
  
  5d273ddf
- finally got tests working · 5659e9eb
  tbuckworth authored 4 months ago
  
  5659e9eb
Nov 01, 2024
- trying to run subprocesses · 37deedf8
  tbuckworth authored 4 months ago
  
  37deedf8
- to test sicstus · 1f9f2d0a
  tbuckworth authored 4 months ago
  
  1f9f2d0a
- came up with a solution to example 1 · 79a905f1
  tbuckworth authored 4 months ago
  
  79a905f1
- sorted ordering · 7205a4e9
  tbuckworth authored 4 months ago
  
  7205a4e9
Oct 29, 2024
- translated to FOL · af07c821
  tbuckworth authored 4 months ago
  
  af07c821
- translated to FOL · eb9f5cad
  tbuckworth authored 4 months ago
  
  eb9f5cad
- translated to FOL · b2026034
  tbuckworth authored 4 months ago
  
  b2026034
- initializing · ba97cc3c
  tbuckworth authored 4 months ago
  
  ba97cc3c