z39-solver 1.0.0

Z3-powered reasoning for AI agents. MCP server + CLI for scheduling, logic, config, and safety.
Documentation 
1
2
3
4

pub mod schedule;
pub mod logic;
pub mod config;
pub mod safety;