z39-solver 1.0.1

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

pub mod domains;
pub mod job;
pub mod mcp;
pub mod solver;