Last released Jul 31, 2024
Python inteface for Automated Reasoning (AR) solvers, provers, and checkers.
Last released May 31, 2019
Enigma: Automatic Inference Guiding Machine
Last released May 17, 2019
Grackle: Configuration Collection Invention System
Supported by
