jix.one

Projects Tagged ‘sat’

2021

Flussab

Tagged rust, sat

Rust utilities for writing fast parsers, and parsers for some formats including DIMACS CNF.

2018

Varisat

Tagged rust, sat

A CDCL based SAT solver written in Rust.