From f37331f214d138fbc5683b0962fbb671ffe61c51 Mon Sep 17 00:00:00 2001
From: DualFroz <me@dualfroz.com>
Date: Sun, 23 Aug 2026 09:00:00 +0200
Subject: [PATCH] chore: add gitignore and build configuration

---
 .gitignore    | 16 ++++++++++++
 cabal.project |  7 ++++++
 sift.cabal    | 67 +++++++++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 90 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 cabal.project
 create mode 100644 sift.cabal

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..ee034a3
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,16 @@
+# cabal / stack build tooling
+dist-newstyle/
+dist/
+.stack-work/
+
+# local linker workaround (host-specific libgmp symlink)
+.libs/
+
+# compiled output
+*.hi
+*.o
+
+# os / logs / env
+.DS_Store
+*.log
+.env
diff --git a/cabal.project b/cabal.project
new file mode 100644
index 0000000..340367b
--- /dev/null
+++ b/cabal.project
@@ -0,0 +1,7 @@
+packages: .
+
+-- The dev host has libgmp.so.10 (runtime) but not the libgmp.so linker symlink
+-- that libgmp-dev would provide, so GHC's gmp-backed integer linking fails.
+-- .libs holds a local libgmp.so -> libgmp.so.10 symlink to satisfy -lgmp.
+package sift
+  extra-lib-dirs: /home/foksiu/vulpspace/sift/.libs
diff --git a/sift.cabal b/sift.cabal
new file mode 100644
index 0000000..2c59ba7
--- /dev/null
+++ b/sift.cabal
@@ -0,0 +1,67 @@
+cabal-version:      3.16
+name:               sift
+version:            0.1.0.0
+synopsis:           DPLL SAT solver with a propositional logic toolkit and DIMACS parser
+license:            NONE
+author:             foksiu
+maintainer:         foksiu8158@gmail.com
+build-type:         Simple
+extra-doc-files:    CHANGELOG.md
+
+common warnings
+    ghc-options: -Wall
+
+library
+    import:           warnings
+    exposed-modules:  Sift.Types
+                      Sift.Dimacs
+                      Sift.Formula
+                      Sift.Tseitin
+                      Sift.Solver
+                      Sift.Verify
+                      Sift.Pigeonhole
+                      Sift.Stats
+                      Sift.Cdcl
+                      Sift.Cdcl.Heap
+                      Sift.Cdcl.State
+                      Sift.Cdcl.Search
+                      Sift.Cdcl.Incremental
+                      Sift.Preprocess
+                      Sift.Preprocess.Bve
+                      Sift.Encode.Cardinality
+                      Sift.Encode.Queens
+                      Sift.Encode.Coloring
+                      Sift.Encode.Sudoku
+                      Sift.Encode.VertexCover
+                      Sift.Encode.Hamiltonian
+                      Sift.Theory.DiffLogic
+                      Sift.Xor
+                      Sift.Enumerate
+                      Sift.Proof.Drat
+    build-depends:    base ^>=4.18.2.1,
+                      containers,
+                      array
+    hs-source-dirs:   src
+    default-language: GHC2021
+
+executable sift
+    import:           warnings
+    main-is:          Main.hs
+    build-depends:    base ^>=4.18.2.1,
+                      containers,
+                      directory,
+                      filepath,
+                      sift
+    hs-source-dirs:   app
+    default-language: GHC2021
+
+test-suite sift-test
+    import:           warnings
+    default-language: GHC2021
+    type:             exitcode-stdio-1.0
+    hs-source-dirs:   test
+    main-is:          Main.hs
+    build-depends:    base ^>=4.18.2.1,
+                      containers,
+                      array,
+                      sift