prover9-gen_trc_defs
Applications
Install
- All systems
-
curl cmd.cat/prover9-gen_trc_defs.sh
- Fedora
-
dnf install prover9-apps
Applications
curl cmd.cat/prover9-gen_trc_defs.shdnf install prover9-apps