jix/sortnetopt-gnp jix/sortnetopt-gnp

  • Stars
    star
    6
  • Rank 2,533,775 (Top 51 %)
  • Language
    Rust
  • Created about 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jix/sortnetopt-gnp
github

jix

Reviews

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

Repository Details

Lower Size Bounds for Sorting Networks using Generate and Prune

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

neca

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

streampush

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

vec_mut_scan

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

rust-actions

Rust
2
star
13

pac_brute

Rust
1
star
14

ezusbfifo

Python
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