Discover jix/sat-intro-2019-06-20 Open Source project

Stars
1
Language
Python
Created over 5 years ago
Updated over 5 years ago

jix

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

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

varisat

SAT solver written in Rust

Rust

252

sortnetopt

Lower Size Bounds for Sorting Networks

Isabelle

partial_ref

Type checked partial references for rust

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.

Rust

flussab

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

Rust

kissat_extras

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

permutation_group_experiments

Python

zwohash

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

Rust

sortnetopt-gnp

Lower Size Bounds for Sorting Networks using Generate and Prune

Rust

neca

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

C++

streampush

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

Rust

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.

Python

cnfpack

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

Rust

tinytapeout_scan

Verilog

pydical

Python wrapper for the CaDiCaL SAT solver

C++

jix/sat-intro-2019-06-20

jix

Reviews

Repository Details

More Repositories