GitHub repository: spirali/pas
Primary language: Rust
Created: 2020-05-20T10:29:11Z
Description: Presburger Arithmetic Solver via Automatic Structures