togatoga / togasat
A Header-Only CDCL SAT Solver for Programming Contest
☆67Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for togasat
- プログラミングコンテスト用のライブラリ☆105Updated 8 months ago
- Experimental toolchain to compile and run Chainer models☆112Updated 4 years ago
- an automated solver for problems of competitive programming☆151Updated 3 years ago
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆14Updated 3 years ago
- 競技プログラミング☆37Updated last year
- ☆30Updated last year
- ☆24Updated 2 years ago
- a testing framework for snippet libraries used in competitive programming☆227Updated last month
- ☆12Updated 6 years ago
- A top-down/breadth-first decision diagram manipulation framework☆54Updated last year
- Rime: Automation Tool for Programming Contest Organizers☆45Updated 2 months ago
- This is the git repository for RIKEN simulator designed to simulate the binary code for Fujitsu A64FX.☆34Updated 4 years ago
- Competitive Programming Library☆128Updated last year
- C++ Library for Large Integers☆28Updated 4 years ago
- O(N log N)-space IPC solver in OCaml☆52Updated last year
- The Smallest MIP Solver by C++☆9Updated 8 years ago
- Fully-automated AtCoder submitter backed by OpenAI Codex.☆19Updated 4 months ago
- ☆14Updated 8 months ago
- Analyze problems of competitive programming and automatically generate boilerplate☆86Updated 8 months ago
- Optimized Floyd-Warshall algorithm implementation☆27Updated 2 years ago
- Steiner tree solver☆29Updated 6 years ago
- kv - a C++ Library for Verified Numerical Computation☆83Updated 2 months ago
- Cube-and-Conquer SAT solver☆31Updated last year
- えびちゃんのライブラリです。☆22Updated 10 months ago
- C++ Library for ICPC☆16Updated 8 years ago
- Light weight thread library☆63Updated last week
- ☆41Updated 3 weeks ago
- A library manager for competitive programming☆26Updated last year
- ☆16Updated last month