togatoga / togasatLinks
A Header-Only CDCL SAT Solver for Programming Contest
☆69Updated 6 years ago
Alternatives and similar repositories for togasat
Users that are interested in togasat are comparing it to the libraries listed below
Sorting:
- Experimental toolchain to compile and run Chainer models☆114Updated 5 years ago
- ☆24Updated 3 years ago
- an automated solver for problems of competitive programming☆151Updated 4 years ago
- The C3, SMT/SAT solver written in C.☆34Updated last month
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Updated 4 years ago
- ☆17Updated 8 months ago
- ☆12Updated 7 years ago
- A top-down/breadth-first decision diagram manipulation framework☆60Updated 2 months ago
- Light weight thread library☆67Updated 11 months ago
- セキュリティミニキャンプ2019山梨 MC言語講義☆19Updated 4 years ago
- My sandbox for experimenting with solver algorithms.☆158Updated 4 months ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 3 months ago
- O(N log N)-space IPC solver in OCaml☆53Updated 2 years ago
- ☆30Updated 2 years ago
- The opensmt solver☆89Updated last week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 6 months ago
- Collection of Automated Reasoners☆32Updated 2 months ago
- Fully-automated AtCoder submitter backed by OpenAI Codex.☆19Updated last year
- ☆11Updated 8 months ago
- [+.<] Win the esolang master!!!☆12Updated 5 months ago
- 競技プログラミング☆38Updated 2 years ago
- Lingeling SAT Solver☆103Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- The DRAT-trim proof checker☆64Updated 10 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆129Updated last week
- Cube-and-Conquer SAT solver☆37Updated 2 months ago
- This is the git repository for RIKEN simulator designed to simulate the binary code for Fujitsu A64FX.☆36Updated 5 years ago
- Optimized Floyd-Warshall algorithm implementation☆29Updated 3 years ago
- ☆18Updated 6 years ago
- Competitive Programming Library☆129Updated 2 years ago