jix/kissat_extras jix/kissat_extras

  • Stars
    star
    9
  • Rank 1,934,984 (Top 39 %)
  • Language
    C
  • License
    Other
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jix/kissat_extras
github

jix

Reviews

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

Repository Details

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

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

permutation_group_experiments

Python
9
star
7

zwohash

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

sortnetopt-gnp

Lower Size Bounds for Sorting Networks using Generate and Prune
Rust
6
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