jix/cnfpack jix/cnfpack

  • Stars
    star
    1
  • Language
    Rust
  • License
    Other
  • Created about 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jix/cnfpack
github

jix

Reviews

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

Repository Details

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

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

ezusbfifo

Python
1
star
16

satbench

WIP SAT benchmarking tooling, written with only my personal use in mind.
Python
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