yshalmon-intel

yshalmon-intel's Stars

• fxreichl/eSLIM

  A Boolean circuit minimizer

  Language:Python3

• hadarshavit/revisiting_satzilla

  SATZilla SAT feature extraction tool

  Language:C6

• domschrei/mallob

  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

  Language:C++5715

• domschrei/impcheck

  Immediate Massively Parallel Propositional Proof Checking

  Language:C2

• jabo17/clause-lab

  A tool for analysing learned clause overlaps in a clause-sharing based parallel SAT solver

  Language:Shell1

• arminbiere/aiger

  AIGER And-Inverter-Graph Library

  Language:C5818

• masinag/allsat-cnf

  Code for the paper "On CNF Conversion for SAT Enumeration"

  Language:Python1

• yogevshalmon/allsat-circuits

  HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits

  Language:C++5