hoshir / zebraLinks
Othello program created by Gunnar Andersson - This is a copy of the original code -
☆16Updated 11 years ago
Alternatives and similar repositories for zebra
Users that are interested in zebra are comparing it to the libraries listed below
Sorting:
- A bignum library for C.☆33Updated last year
- O(n log n) In-place Stable Quicksort☆20Updated last month
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- Structured BVA☆39Updated last year
- CNF minimizer and minimal independent set minimizer☆20Updated last week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Debugger in the Trepan family for x-python☆17Updated last week
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Updated 2 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- program synthesis is possible☆41Updated 5 years ago
- A library for binary analysis and rewriting☆48Updated last year
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 2 months ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Updated 2 years ago
- Prediction algorithms for the PCG pseudo-random generator☆11Updated 4 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 6 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- A research platform and active library for generalised SAT solving☆33Updated 3 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Busy Beaver deciders backed by Coq proof☆57Updated 6 months ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- Sort of Lambdas for gcc☆33Updated 6 years ago
- ☆20Updated 2 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago