APALACHE: symbolic model checker for TLA+ and Quint
-
Updated
Jun 12, 2024 - Scala
APALACHE: symbolic model checker for TLA+ and Quint
Synthesis of Heap-Manipulating Programs from Separation Logic
prototyping logic programming in Scala
Stainless directly built on System FR, with standalone front-end
真・女神転生 (Shin Megami Tensei) の日本語版SFCについてのデータをまとめています。
Synthesis with Read-Only Borrows
(Work in process) A weird, parallel and modern miniKanren
Add a description, image, and links to the smt topic page so that developers can more easily learn about it.
To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."