This repository was archived by the owner on Dec 21, 2025. It is now read-only.

Added support for counterexamples - #89

Open

bugengine wants to merge 1 commit into

dabeaz:masterfrom

bugengine:master

Commits on Jan 22, 2023

Implemented counter-example support in Sly.

bugengine
authored and
yngwe@fry
committed
ab00964