• Stars
    star
    1
  • Language
    Python
  • License
    BSD 2-Clause "Sim...
  • Created over 10 years ago
  • Updated about 9 years ago

Reviews

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

Repository Details

More Repositories

1

varisat

SAT solver written in Rust
Rust
252
star
2

sortnetopt

Lower Size Bounds for Sorting Networks
Isabelle
43
star
3

partial_ref

Type checked partial references for rust
Rust
14
star
4

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
10
star
5

flussab

Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
Rust
9
star
6

kissat_extras

A fork of the Kissat SAT solver with additional features. Supports incremental solving.
C
9
star
7

permutation_group_experiments

Python
9
star
8

zwohash

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

sortnetopt-gnp

Lower Size Bounds for Sorting Networks using Generate and Prune
Rust
6
star
10

neca

NECA - Not Even Coppersmith's Attack: A ROCA weak RSA key attack
C++
6
star
11

streampush

Tunnel TCP connections over QUIC with an optional fixed rate congestion controller
Rust
3
star
12

vec_mut_scan

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

rust-actions

Rust
2
star
14

pac_brute

Rust
1
star
15

satbench

WIP SAT benchmarking tooling, written with only my personal use in mind.
Python
1
star
16

cnfpack

Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format
Rust
1
star
17

tinytapeout_scan

Verilog
1
star
18

sat-intro-2019-06-20

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

pydical

Python wrapper for the CaDiCaL SAT solver
C++
1
star