Alternatives and similar repositories for togasat:

Users that are interested in togasat are comparing it to the libraries listed below

• kmyk-jikka / Jikka
  an automated solver for problems of competitive programming
  ☆151Updated 3 years ago
• noshi91 / Library
  競技プログラミング
  ☆37Updated last year
• beet-aizu / library
  Competitive Programming Library
  ☆128Updated last year
• pfnet-research / chainer-compiler
  Experimental toolchain to compile and run Chainer models
  ☆112Updated 4 years ago
• YouyouCong / ppl-summer-school-2022
  ☆24Updated 2 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆46Updated 5 months ago
• kopricky / My-Algorithm
  ☆30Updated 2 years ago
• online-judge-tools / template-generator
  Analyze problems of competitive programming and automatically generate boilerplate
  ☆87Updated last year
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆58Updated last year
• online-judge-tools / verification-helper
  a testing framework for snippet libraries used in competitive programming
  ☆234Updated 4 months ago
• hakatashi / atcoder-auto-submitter
  Fully-automated AtCoder submitter backed by OpenAI Codex.
  ☆19Updated 8 months ago
• nyuichi / yabai-sat
  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …
  ☆15Updated 3 years ago
• yosupo06 / library-checker-judge
  ☆44Updated 2 months ago
• colun / mmlang
  Competitive Programming Language MM
  ☆21Updated 4 months ago
• tatyam-prime / ICPC_notebook
  ☆19Updated 5 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆79Updated last month
• cos65535 / ICPCLibrary
  C++ Library for ICPC
  ☆16Updated 8 years ago
• iwiwi / radix-heap
  An implementation of radix heap
  ☆62Updated 9 years ago
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated last year
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆17Updated 2 weeks ago
• Adelie-project / CPU-Adelie
  ☆12Updated 6 years ago
• yamaguchi1024 / mc-lang-1
  セキュリティミニキャンプ2019山梨 MC言語講義
  ☆19Updated 4 years ago
• comp-prog-jp-library-standard / competitive-programming-library
  競技プログラミング用共通ライブラリ
  ☆46Updated 2 years ago
• ei1333 / library
  CompetitiveProgramming C++ Library
  ☆204Updated 4 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆74Updated last year
• sykwer / utokyo_syspro_baremetal
  Baremetal environment for "System programming lab" class in Dept. of Information Science, The University of Tokyo
  ☆19Updated last year
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆32Updated last year
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆44Updated 4 years ago
• rsk0315 / library-rs
  えびちゃんのライブラリです。
  ☆22Updated last year