tilegen

Here is 1 public repository matching this topic...

A solver-driven reproducible Linux build system using S-expressions, SMT, deterministic DAG execution, and content-addressed artifacts.

go linux golang build-system sexp z3 smt dag reproducible-builds embedded-linux content-addressed-storage constraint-solving cvc5 tilegen

To associate your repository with the tilegen topic, visit your repo's landing page and select "manage topics."