Lipen / sat-nexus

πŸ” SAT solver wrappers for Rust

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SAT Nexus

Interfaces and wrappers for SAT solvers.

Build Status Minimum supported Rust version

About

πŸ” SAT solver wrappers for Rust


Languages

Language:Rust 97.9%Language:C 2.0%Language:Just 0.1%