Alternatives and similar repositories for boolexpr:

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

• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 4 years ago
• msoeken / kitty
  C++ truth table library
  ☆51Updated 10 months ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 3 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 4 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆27Updated 2 years ago
• Sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• SiliconSemantics / firrtlator
  firrtlator is a FIRRTL C++ library
  ☆21Updated 8 years ago
• hipacc / hipacc
  A domain-specific language and compiler for image processing
  ☆76Updated 3 years ago
• qfiard / cuda-sat-solver
  An implementation of a SAT solver using the CUDA library
  ☆15Updated 7 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆50Updated 2 months ago
• ucb-sejits / ctree
  A C-family AST implementation designed to be an IR for DSL compilers.
  ☆16Updated 7 years ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆20Updated 3 years ago
• SamuelBayliss / Potholes
  Polyhedral Compilation tool for High Level Synthesis.
  ☆10Updated 10 years ago
• MPACT-ORG / llvm-project
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆31Updated last week
• RohanNagar / parallel-logic-networks
  Gate-Level Simulation on a GPU
  ☆9Updated 8 years ago
• madmann91 / minbool
  Boolean expression simplifier/minimizer
  ☆22Updated 2 years ago
• brnorris03 / Orio
  Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…
  ☆36Updated 3 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 4 months ago
• asmjit / cult
  CPU Ultimate Latency Test.
  ☆107Updated last year
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• mangpo / greenthumb
  ☆85Updated 2 years ago
• mightymercado / pysigmoid
  Drop-in replacement for IEEE Float
  ☆41Updated 4 years ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆35Updated 10 months ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆71Updated 8 months ago
• rwpenney / spfpm
  Package for performing fixed-point, arbitrary-precision arithmetic in Python.
  ☆64Updated 11 months ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 4 years ago
• cucapra / latte21
  Languages, Tools, and Techniques for Accelerator Design
  ☆33Updated 3 years ago