sarsko/CreuSAT — CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Description and use

sarsko/CreuSAT: sarsko/CreuSAT helps teams persist, query, and move data with less custom plumbing.. Use it for manage persistence; speed up data access. Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.

Problem

sarsko/CreuSAT helps teams persist, query, and move data with less custom plumbing.

Outcome

Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.

Workflow

• manage persistence
• speed up data access
• prototype database-backed apps

Evidence

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Source