Giters

jix / starlit

CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.

License:Other

Languages

Language:Rust 100.0%