Start new sat-based implementation (#20)

ordinals · Jan 6, 2022 · 394fad3 · 394fad3
1 parent 8f33451
commit 394fad3
Show file tree

Hide file tree

Showing 11 changed files with 332 additions and 1,026 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1,2 @@
 /target
+.idea/