Lingeling
From MaRDI portal
swMATH28021MaRDI QIDQ39735FDOQ39735
Author name not available (Why is that?)
Official website: http://fmv.jku.at/lingeling/
Cited In (only showing first 100 items - show all)
- HaifaSat
- ManySAT
- March_eq
- Pueblo
- SDSAT
- Siege
- SATO
- SAT competition
- Mozart
- InsEnc
- SATzilla
- Chaff
- PaMiraXT
- PaQuBE
- clasp
- PicoSAT
- Plingeling
- GrADSAT
- LOOPS
- Glucose
- PrecoSAT
- versat
- Runsolver
- Bloqqer
- LLBMC
- HeerHugo
- CryptoMiniSat
- GlueMiniSat
- Open-WBO
- antom
- tawSolver
- NAGSAT
- Picoso
- PMiniSAT
- PMSat
- ppfolio
- SArTagnan
- claspfolio 2
- HERB
- ZetaSAT
- Skeptik
- WILF
- MetExplore
- ABC
- CCASat
- pfolioUZK
- CryptLogVer
- DRAT-trim
- MUSer2
- PBLib
- Treengeling
- SATenstein
- raSAT
- IGraph/M
- Coprocessor
- HordeSat
- LMHS
- sharpSAT
- Spybug
- SpySMAC
- PSync
- Transalg
- ALIAS
- COMiniSatPS
- satUZK
- GPU-PRISM
- GPUexplore
- MaxHS
- ByMC
- CNFgen
- Argtools
- Carneades
- CEGARTIX
- Dungine
- PaInleSS
- LamatzSolver
- prefMaxSAT
- ProGraph
- multi2boolean
- abcdSAT
- PySAT
- Splatz
- Syrup
- aspeed
- DOC-BRelax
- Limboole
- PermStruct
- PermPAL
- LIPSAT
- OKlibrary
- AIGER
- BooleForce
- ZRes
- CaDiCaL
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- reduce
- sunny-cp
- YalSAT
This page was built for software: Lingeling