swMATH31645MaRDI QIDQ43356FDOQ43356
Author name not available (Why is that?)
Official website: http://fmv.jku.at/cadical/
Source code repository: https://github.com/arminbiere/cadical
Cited In (only showing first 100 items - show all)
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
- CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver
- Progress in certifying hardware model checking results
- Improving implementation of SAT competitions 2017--2019 winners
- GANAK
- Kissat
- Paracooba
- Preprocessing of propagation redundant clauses
- Three-dimensional stable matching with cyclic preferences
- Boolector
- ManySAT
- March_eq
- SATIRE
- CPlan
- Chaff
- PaMiraXT
- Plingeling
- Sat4j
- LOOPS
- Glucose
- PrecoSAT
- Runsolver
- TRX
- cmMUS
- QMaxSAT
- D-FLAT
- CryptoMiniSat
- PackUp
- Skeptik
- ABC
- MTBDD
- CryptLogVer
- DRAT-trim
- JViews
- PBLib
- Lynx
- Treengeling
- IGraph/M
- Coprocessor
- HordeSat
- SpySMAC
- Transalg
- ALIAS
- COMiniSatPS
- satUZK
- GPU-PRISM
- GPUexplore
- Mosel
- VOLT
- WPM2
- JKind
- Kind 2
- MaxHS
- Shatter
- CNFgen
- GRATchk
- Picat-SAT
- PaInleSS
- Jdrasil
- PySAT
- PyMiniSolvers
- SATisPy
- Splatz
- Syrup
- Rosette
- Lingeling
- HQSpre
- AIGER
- ZRes
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- reduce
- OptiMathSAT
- YalSAT
- ASPTools
- mkplot
- CnC
- openQASM
- Pint
- CCEHC
- SATLike
- RC2
- AutoFolio
- CCAnr
- Maple_LCM_Dist_ChronoBT
- EPFL
- NLocalSAT
- probSAT
- Sparrow2Riss
- PaSAT
- WPM3
- PReLearn
- CDCLSym
- ZaligVinder
- SAT competition 2020
- Arg2P
- QMaxSATpb
- TBUDDY
- PyDGGA
This page was built for software: CaDiCaL
