swMATH577MaRDI QIDQ13332FDOQ13332
Author name not available (Why is that?)
Official website: http://minisat.se/
Source code repository: https://github.com/niklasso/minisat/
Cited In (only showing first 100 items - show all)
- Boolector
- DPvis
- FGb
- GNT
- HaifaSat
- ILTP
- ManySAT
- March_eq
- OptSAT
- Pueblo
- QOCA
- QuBE++
- slimgb
- Cogent
- SatEx
- SATLIB
- LUPS
- SMT-LIB
- Cmodels
- CUDD
- Petruchio
- Punf
- PASS
- Siege
- SATO
- CEGAR
- Gringo
- Lparse
- PBS
- SAT competition
- Smodels
- SATIRE
- Yices
- cvc3
- KLEE
- SPASS+T
- BG-WalkSAT
- UCLID
- CPlan
- Prover9
- OPBDP
- SIMPLIFY
- zChaff
- z3
- RPOLY
- CLN
- MPI/MPICH
- JBool
- Choco
- Gecode
- MiniZinc
- SATzilla
- FINDER
- Cadmium
- Valse-XT
- SCRATCH
- GiNaCRA
- E-Darvin
- BerkMin
- Chaff
- Mace4
- Princess
- Limmat
- Cardinal
- CLIPS
- CoLoSS
- NiVER
- SCR
- PaMiraXT
- PaQuBE
- Potassco
- clasp
- Pellet
- GASP
- bv2epr
- Kodkod
- Zap
- E-SETHEO
- PDDL
- plasp
- PicoSAT
- Plingeling
- sQueezeBF
- GATeL
- Korat
- GrADSAT
- Quaffle
- Cseq
- Sat4j
- TestEra
- veriT
- ToulBar2
- TATL
- LOOPS
- CVC Lite
- AProVE
- Graphplan
- PrecoSAT
- TACO
- Tyrolean
This page was built for software: MiniSat
