Parser/printer for SMT-LIB format in Idris.
Examples from Yurichev, "Quick introduction into SAT/SMT solvers and symbolic execution".
See also:
Parser/printer for SMT-LIB format in Idris.
Examples from Yurichev, "Quick introduction into SAT/SMT solvers and symbolic execution".
See also: