jix/kissat_extras

Stars
9
Rank 1,939,727 (Top 39 %)
Language
C
License
Other
Created almost 3 years ago
Updated over 2 years ago

jix/kissat_extras

jix

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A fork of the Kissat SAT solver with additional features. Supports incremental solving.

varisat

SAT solver written in Rust

sortnetopt

Lower Size Bounds for Sorting Networks

partial_ref

Type checked partial references for rust

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.

flussab

Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.

permutation_group_experiments

zwohash

A fast, deterministic, non-cryptographic hash for use in hash tables for Rust

sortnetopt-gnp

Lower Size Bounds for Sorting Networks using Generate and Prune

neca

NECA - Not Even Coppersmith's Attack: A ROCA weak RSA key attack

streampush

Tunnel TCP connections over QUIC with an optional fixed rate congestion controller

vec_mut_scan

Rust library for a forward scan over a vector with mutation and item removal

rust-actions

pac_brute

ezusbfifo

satbench

WIP SAT benchmarking tooling, written with only my personal use in mind.

cnfpack

Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format

tinytapeout_scan

sat-intro-2019-06-20

Demo application presented during my "Introduction to SAT Solving" talk at the OR Meetup Leipzig in June 2019.

pydical

Python wrapper for the CaDiCaL SAT solver