CseqGUI is a User Friendly Python Interface for Lazycseq tool with Counterexample Visualization.
-
Updated
Sep 6, 2019 - Python
CseqGUI is a User Friendly Python Interface for Lazycseq tool with Counterexample Visualization.
Add a description, image, and links to the sequentialization topic page so that developers can more easily learn about it.
To associate your repository with the sequentialization topic, visit your repo's landing page and select "manage topics."