GitHub repository: mistzzt/coar
Primary language: OCaml
Description: Collection of Automated Reasoners