Chiasmus

https://github.com/yogthos/chiasmus

A neurosymbolic verification engine and MCP server that combines Z3 SMT solver and SWI-Prolog for...

Tokens:13,095
Snippets:151
Trust Score:9.6
License:Apache-2.0
Update:4 weeks ago
Tokens:
Raw