ArchSAT

MaRDI QIDQ43963swMATHFDO

Official website https://opam.ocaml.org/packages/archsat/

Source code repository https://github.com/ocaml/opam-repository/tree/master/packages/archsat

Cited in

(4)

• First-order automated reasoning with theories: when deduction modulo theory meets practice
• CoqMT
• HARP
• ekstrakto

This page was built for software: ArchSAT