GitHub repository: wasp-platform/encoding
Primary language: OCaml
Created: 2023-03-23T16:44:51Z
Description: An OCaml abstraction layer for constraint solvers.