Metadata-Version: 2.3
Name: speclogician
Version: 0.0.0.dev1
Summary: SpecLogicain AI framework for data-driven formal program specification synthesis, verification and analysis
Author: denis, hongyu
Author-email: denis <denis@imandra.ai>, hongyu <hongyu@imandra.ai>
Requires-Dist: imandrax-api-models>=18.0.0
Requires-Dist: iml-query>=0.5.1
Requires-Dist: pydantic>=2.12.5
Requires-Dist: rich>=14.2.0
Requires-Dist: textual>=6.11.0
Requires-Dist: typer>=0.20.0
Requires-Python: >=3.12
Project-URL: Homepage, https://speclogician.dev/
Description-Content-Type: text/markdown

# SpecLogician
SpecLogicain AI framework for data-driven formal program specification synthesis, verification and analysis


www.speclogician.dev