Rust based logic parser, evaluator, and truth table constructor!
A small hybrid push-pull solver/planner that has the best of both worlds
Rust bindings for the Kissat SAT solver
Temporal logic with neural reasoning
A base logical system for PocketProver to reason about set properties
An experimental implementation of Avatar Logic with a Prolog-like syntax
A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
The Air Artificial General Intelligence
The Air Artificial General Intelligence
A logic SAT solver
Multipurpose GUI and CLI tool for constructing nonograms
High-level Rust bindings for the cvc5 SMT solver