Alternatives and similar repositories for togasat

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

• pfnet-research / chainer-compiler
  Experimental toolchain to compile and run Chainer models
  ☆113Updated 5 years ago
• kmyk-jikka / Jikka
  an automated solver for problems of competitive programming
  ☆151Updated 3 years ago
• YouyouCong / ppl-summer-school-2022
  ☆24Updated 2 years ago
• nyuichi / yabai-sat
  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …
  ☆15Updated 4 years ago
• kunisura / TdZdd
  A top-down/breadth-first decision diagram manipulation framework
  ☆60Updated last year
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 3 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆84Updated last month
• Adelie-project / CPU-Adelie
  ☆12Updated 7 years ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆157Updated last month
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated 2 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆31Updated 3 months ago
• massivethreads / massivethreads
  Light weight thread library
  ☆66Updated 8 months ago
• mskashi / kv
  kv - a C++ Library for Verified Numerical Computation
  ☆88Updated 4 months ago
• RIKEN-RCCS / riken_simulator
  This is the git repository for RIKEN simulator designed to simulate the binary code for Fujitsu A64FX.
  ☆36Updated 5 years ago
• hiroshi-unno / coar
  Collection of Automated Reasoners
  ☆30Updated last week
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆23Updated 2 years ago
• yamaguchi1024 / mc-lang-1
  セキュリティミニキャンプ2019山梨 MC言語講義
  ☆19Updated 4 years ago
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆17Updated 5 months ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆36Updated last week
• hakatashi / atcoder-auto-submitter
  Fully-automated AtCoder submitter backed by OpenAI Codex.
  ☆19Updated last year
• t-hishinuma / DD-AVX_v3
  Library of High Precision Sparse Matrix Operations Accelerated by SIMD
  ☆43Updated 4 years ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 2 weeks ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆63Updated 7 months ago
• noshi91 / Library
  競技プログラミング
  ☆38Updated 2 years ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated last month
• tanakamura / instruction-bench
  instruction-bench
  ☆35Updated 2 years ago
• martinjonas / Q3B
  ☆28Updated 3 months ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago
• marijnheule / microsat
  microsat
  ☆136Updated 3 years ago