picosat-solver

There are 0 repository under picosat-solver topic.

• sdiehl / haskell-picosat

  Haskell bindings for PicoSAT solver

  picosatpicosat-solverhaskellhaskell-librarysat-solverlogic-programminglogic
  Language:C 16

• dirkschumacher / nodepicosat

  SAT solver PicoSAT for javascript

  logiclogic-programmingnode-modulepicosatpicosat-solversat-solver
  Language:JavaScript 8

• aymenkhs / Knowledge-Base-Inference-Checker

  A knowledge Base Inference Checker in python using UBSCAT solver for windows and picosat for linux

  knowledge-baseinferencepicosat-solverpython
  Language:Python 2