Alternatives and similar repositories for togasat

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

• yosupo06 / Algorithm
  プログラミングコンテスト用のライブラリ
  ☆105Updated last year
• kmyk-jikka / Jikka
  an automated solver for problems of competitive programming
  ☆151Updated 3 years ago
• noshi91 / Library
  競技プログラミング
  ☆38Updated 2 years ago
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆59Updated last year
• YouyouCong / ppl-summer-school-2022
  ☆24Updated 2 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• pfnet-research / chainer-compiler
  Experimental toolchain to compile and run Chainer models
  ☆112Updated 4 years ago
• beet-aizu / library
  Competitive Programming Library
  ☆128Updated 2 years ago
• kopricky / My-Algorithm
  ☆30Updated 2 years ago
• noshi91 / NoshiMochiLibrary
  ☆20Updated 6 years ago
• icpc-jag / rime
  Rime: Automation Tool for Programming Contest Organizers
  ☆48Updated 9 months ago
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆17Updated 4 months ago
• Shin-ichi-Minato / SAPPOROBDD
  BDD Package - Sapporo Edition
  ☆22Updated last year
• windows-server-2003 / quick_floyd_warshall
  Optimized Floyd-Warshall algorithm implementation
  ☆28Updated 2 years ago
• YSRKEN / SMIPS
  The Smallest MIP Solver by C++
  ☆9Updated 8 years ago
• hakatashi / atcoder-auto-submitter
  Fully-automated AtCoder submitter backed by OpenAI Codex.
  ☆19Updated 11 months ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆157Updated 2 weeks ago
• colun / mmlang
  Competitive Programming Language MM
  ☆21Updated 8 months ago
• online-judge-tools / template-generator
  Analyze problems of competitive programming and automatically generate boilerplate
  ☆86Updated last year
• yosupo06 / library-checker-judge
  ☆45Updated last month
• rsk0315 / library-rs
  えびちゃんのライブラリです。
  ☆22Updated last year
• nyuichi / yabai-sat
  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …
  ☆15Updated 4 years ago
• massivethreads / massivethreads
  Light weight thread library
  ☆66Updated 7 months ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆29Updated 2 months ago
• online-judge-tools / verification-helper
  a testing framework for snippet libraries used in competitive programming
  ☆252Updated 7 months ago
• eukaryo / reversi-scripts
  ☆40Updated last year
• kmyk / competitive-programming-library
  kimiyuki's library for competitive programming with C++
  ☆68Updated 3 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆83Updated last week
• asi1024 / competitive-library
  A library manager for competitive programming
  ☆26Updated 2 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆34Updated last year