All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.
- Wrapper functions covering the following IPASIR-2 functions:
ipasir2_signatureipasir2_initipasir2_releaseipasir2_optionsipasir2_set_optionipasir2_addipasir2_solveipasir2_valipasir2_failedipasir2_set_terminateipasir2_set_export
- Support for custom clause types
- Support for custom literal types
- Support for loading IPASIR-2 solvers at runtime