• Coprocessor

  • Referenced in 14 articles [sw16739]
  • enables to apply simplifications also for incremental SAT solving. Experiments show that Coprocessor 2.0 performs...
  • InKreSAT

  • Referenced in 5 articles [sw23448]
  • InKreSAT: modal reasoning via incremental reduction to SAT. InKreSAT is a prover for the modal ... then solved using a SAT solver. InKreSAT improves on previous work by proceeding incrementally...
  • intuit

  • Referenced in 4 articles [sw33643]
  • solving problems in intuitionistic propositional logic, which involves the use of an incremental SAT-solver...
  • Scarab

  • Referenced in 3 articles [sw07397]
  • which is a prototyping tool for developing SAT-based systems. It provides a rich constraint ... provides a simple way to realize incremental solving, solution enumeration, and dynamic addition and/or removal ... them are encoded into SAT without the need of developing dedicated encoder. SAT solvers...
  • gini

  • Referenced in 1 article [sw16095]
  • SAT solver written in Go for the go programming language. Gini solves the problem ... reference implementation of the compressed incremental sat protocol (CRISP), which enables the communication of related...
  • npSolver

  • Referenced in 1 article [sw13580]
  • into SAT and solves the optimization instances by calling a SAT solver iteratively. The system ... first. The solver can translate PB to SAT based on a portfolio of different encodings ... system any SAT solver can be used, even incremental solvers for the optimization function...
  • Boolector

  • Referenced in 27 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MiniSat

  • Referenced in 531 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • QEPCAD

  • Referenced in 275 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • SCIP

  • Referenced in 459 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • ML

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Alloy

  • Referenced in 29 articles [sw01247]
  • Alloy: A new technology for software modelling. Alloy...
  • SLAM

  • Referenced in 151 articles [sw03136]
  • SLAM is a project for checking that software...
  • CUDA

  • Referenced in 1185 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SDPT3

  • Referenced in 609 articles [sw04009]
  • This software is designed to solve conic programming...