Results 1 to 20 of 71
Sort by:

  • 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...