Working version (#21)

* Add env expansion json methods

* Re-add assert theorems size == 1

* use correct `VERBOSE_PRINTS` ifdef (#18)

* Add theorem wrapper

* commit that ***

* Fix

* iterate

* Fix metadata in tests, as it is not loaded from json

* Add seed to samples/test.json

* Add TheoremPointer and fix json loading

* Add Tactic, Context, Hypothesis wrapper

* Remove erroneous is valid false

* Fix null values

* Rewrite simulations to be tree like structure

* Add more verbose prints

* Add additional assertion

* Fix tactic killed if child node is already killed

* Fix errorneuous env expansion constructor

* Fix ancestor dump to json

* Make proof optional

* Allow priors to be empty

* Add errorneous expansion test

* Fix minproof pqueue greater

* Remove verbose prints

* Remove prints

* Add c++ tests to actions workflow

* Add sudo to apt

* Remove useless deps

* Add samples jsons

* fix: Incref correctly in PyTactic_get_is_valid

* Metadata nullptr default

---------

Co-authored-by: Jonas Dittrich <58814480+Kakadus@users.noreply.github.com>

Author: sorgfresser

.github/workflows/build.yml

@@ -36,4 +36,28 @@ jobs:
         uses: actions/upload-artifact@v4
         with:
           path: wheelhouse/*
-          name: wheels
+          name: wheels
+
+  cpp-tests:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          submodules: 'recursive'
+
+      - name: Install dependencies
+        run: |
+          sudo apt install -y cmake libgtest-dev
+
+      - name: Configure project
+        run: |
+          mkdir -p build
+          cd build
+          cmake ..
+
+      - name: Build and run CMake test target
+        run: |
+          cd build
+          cmake --build . --target test
+          ./test

.gitignore

@@ -1,2 +1,7 @@
 docs/build
 __pycache__/
+build/
+dist/
+*.egg-info/
+*.egg
+*.pyc