Alternatives and similar repositories for fvs:

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

• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• lacava / ellen
  linear genetic programming system for symbolic regression and classification.
  ☆35Updated 7 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆48Updated 4 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆100Updated 2 months ago
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆35Updated 2 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆62Updated this week
• BYVoid / libdarts
  C Library of Double-Array Trie System
  ☆16Updated 11 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated 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
• gvinciguerra / la_vector
  🔶 Compressed bitvector/container supporting efficient random access and rank queries
  ☆43Updated 5 months ago
• ot / path_decomposed_tries
  Implementation of the data structures described in the paper "Fast Compressed Tries using Path Decomposition".
  ☆55Updated 2 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated 4 months ago
• martinjonas / Q3B
  ☆27Updated 8 months ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆23Updated 2 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆67Updated 5 years ago
• pasta-toolbox / bit_vector
  Fast and highly tuned bit vector implementation including space efficient rank and select support having only 3.51% space overhead.
  ☆29Updated 3 months ago