Solver for higher-order functional programs, used by Stainless
Primary LanguageScalaApache License 2.0Apache-2.0