sidekick. A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

github.com/c-cube/sidekick

by

@c-cube

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.