ArchSAT

swMATH32252MaRDI QIDQ43963FDOQ43963

Author name not available (Why is that?)

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