pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / applications / science / logic / stp /
at v192 3 files
Petr Rockai STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).
ed5bd265
default.nix
fixbuild.diff
fixrefs.diff