sat-solving

There are 1 repository under sat-solving topic.

• satviz / satviz

  javasatsat-solvingvisualization
  Language:Java 10

• jakublevy / glucose-win

  Windows builds for The Glucose SAT Solver.

  glucosesatsolversat-solversat-solvingcnfdimacsminisatwindowsbinary
  Language:C++ 3

• ro-per / IDP-excercises

  Lab sessions about SAT solving using the IDP IDE

  idpsat-solvingku-leuven
  3

• jedlimlx / Logic-Cellular-Automaton-Search

  A search program that uses SAT solvers to find patterns in Higher Range Outer Totalistic (HROT) rules

  sat-solvingcellular-automatacellular-automatonpython
  Language:Python 2

• Wrazlmumfp / anf_to_2xnf

  Python tool for converting ANF to (2-)XNF.

  anfboolean-satisfiabilitysat-solvingxnf
  Language:Python 2

• Di40 / Yashi-Game-SAT-Logic

  Solving the Yashi game using a combination of graph theory and SAT-solving. First, connectivity of the graph is verified, and if true, identification of all possible cycles is done. Then, after generating all necessary constraints, they are passed to a SAT solver.

  depth-first-searchgraph-theoryminisat22sat-solvingyashi-game
  Language:Python 1

• itnef / smtx

  My first SMT solver (only QF_UF)

  learning-by-doingsmt-solverbackjumpingcnftseitin-transformationlogic-programmingsat-solversat-solvingsatisfiability-modulo-theorieslogical-reasoningdpllcdclcdcl-tcongruence-closureqf-ufdiy-smt
  Language:Haskell 1

• martinetoering / KRR-course

  Projects on symbolic systems, covering logic and problem solving (June 2020).

  answer-set-programmingautomated-planningconstraint-programminginteger-linear-programmingproblem-solvingpropositional-logicsat-solving
  Language:Python 1

• satviz / ipasir4j

  Low-level Java bindings to the IPASIR C interface

  ipasirjavasatsat-solving
  Language:Java 1

• IslamHamada / Minimize-Sat-Model

  An Algorithm to Minimize The SAT Model Returned By a SAT Solver

  maxsatminimal-modelminisatsat-solving
  Language:C++ 0

• j-danner / 2xnf_sat_solving

  Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

  algebraic-normal-formcnfsatsat-solvingxnf
  0

• J-MR-T / BooleanDSL

  Boolean DSL

  booleanboolean-algebraboolean-expressiondslkotlinkotlin-dslsat-solversat-solving
  Language:Kotlin 0

• MrBlueHere / TotalColoring

  Solution for total coloring problem using CSP & SAT

  cspsatsat-solvingconstraint-programmingpythongraph-theorygraph-coloring
  Language:Python 0

• tanishqg5325 / Graph-Subset-Mapping

  artificial-intelligencegraph-theorysat-solvinglogic
  Language:C++ 0

• tatsuhirotsuchiya / bounded-model-checker-for-petri-nets

  Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.

  model-checkingsatsat-solvingpetri-netdeadlockbounded-model-checkin
  Language:C 0

• TechnionFV / CaDiCaL-DRUPing-for-Interpolants-Project-Version-Base

  This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.

  formal-methodsmodel-checkingsat-solvingtechnion
  Language:C++ 0

• arruw / fri-1920-ara-01-sat

  Approximation and randomized algorithms - Assignment 01 - SAT

  sat-solvingapproximation-algorithmsnp-problemvertex-covercliquen-queensdominant-sets
  Language:Python

• dchandak99 / SAT_Solvers

  backtrackingdpll-algorithmcnf-encodingsat-solvingz3
  Language:Jupyter Notebook

• domschrei / impcheck

  Immediate Massively Parallel Propositional Proof Checking

  hpcproofssat-solving
  Language:C

• fkutzner / lingeling-cmake

  Lingeling SAT Solver fork with CMake build

  cmakelingelingsatsat-solversat-solvingsatisfiability
  Language:C

• Jakob-Bach / DS-Lab-2022

  The supervisor repo for the "Data Science Laboratory Course" at the Karlsruhe Institute of Technology (KIT), summer term 2022.

  data-sciencemachine-learningsat-solvingteaching-materials
  Language:Jupyter Notebook

• Jakob-Bach / DS-Lab-2023

  The supervisor repo for the "Data Science Laboratory Course" at the Karlsruhe Institute of Technology (KIT), summer term 2023.

  data-sciencemachine-learningsat-solvingteaching-materials
  Language:Jupyter Notebook

• kuanhungchen / Spring-2020-Applied-Mathematical-Logic

  📈 Implementation of a SAT solver to solve satisfiability problems.

  satisfiabilitysatisfiability-solversat-solving
  Language:C++