Alternatives and similar repositories for fvs

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

• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 3 years ago
• potassco / flatzinc
  🫓 A parser for the FlatZinc modelling language
  ☆13Updated 4 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆46Updated 2 years ago
• wata-orz / steiner_tree
  Steiner tree solver
  ☆30Updated 7 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆27Updated 2 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆88Updated this week
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆35Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated last week
• audemard / glucose
  The glucose SAT solver
  ☆114Updated 2 weeks ago
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆41Updated last week
• KarlsruheGraphGeneration / KaGen
  KaGen: Communication-free Massively Distributed Graph Generators
  ☆39Updated last month
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆31Updated last week
• alex-87 / HyperGraphLib
  C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.
  ☆21Updated 2 years ago
• BYVoid / libdarts
  C Library of Double-Array Trie System
  ☆16Updated 11 years ago
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆16Updated 9 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• stxxl / foxxll
  FOundation of stXXl and thriLL
  ☆14Updated last year
• graph-algorithms / edge-addition-planarity-suite
  ☆31Updated 2 weeks ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆61Updated 7 months ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆18Updated 2 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago