Giters

Lipen / sat-nexus

🏔 SAT solver wrappers for Rust

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

rustsat-solver

SAT Nexus

Interfaces and wrappers for SAT solvers.

Build Status Minimum supported Rust version

About

🏔 SAT solver wrappers for Rust

rustsat-solver

Languages

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