- The agda development is under agda/
- The main soundness proof is located under agda/Satisfiability/SourceR1CS.agda
- This project uses agda version 2.6.0.1 with agda stdlib version 1.1
- To execute the test cases, install nix (with multi user installation or use nixos) and run
nix-shell --run "runghc ci.hs"under project root.