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:
- プログラミングコンテスト用のライブラリ☆104Updated last year
- Experimental toolchain to compile and run Chainer models☆114Updated 5 years ago
- an automated solver for problems of competitive programming☆151Updated 4 years ago
- ☆25Updated 3 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Updated 4 years ago
- The C3, SMT/SAT solver written in C.☆35Updated 2 months ago
- ☆17Updated 8 months ago
- A top-down/breadth-first decision diagram manipulation framework☆60Updated 2 months ago
- セキュリティミニキャンプ2019山梨 MC言語講義☆19Updated 4 years ago
- The opensmt solver☆89Updated last month
- 競技プログラミング☆38Updated 2 years ago
- O(N log N)-space IPC solver in OCaml☆53Updated 2 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 4 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Light weight thread library☆67Updated 11 months ago
- ☆12Updated 7 years ago
- Fully-automated AtCoder submitter backed by OpenAI Codex.☆19Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 7 months ago
- My sandbox for experimenting with solver algorithms.☆158Updated 4 months ago
- Competitive Programming Library☆129Updated 2 years ago
- Analyze problems of competitive programming and automatically generate boilerplate☆86Updated last year
- A cyclic theorem prover framework.☆32Updated 2 months ago
- Collection of Automated Reasoners☆32Updated 2 months ago
- ☆30Updated 2 years ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆131Updated last week
- instruction-bench☆35Updated 2 years ago
- Cube-and-Conquer SAT solver☆37Updated 3 months ago
- ☆18Updated 6 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆69Updated 2 months ago
- This is the git repository for RIKEN simulator designed to simulate the binary code for Fujitsu A64FX.☆36Updated 5 years ago