• MiniSat

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

• Chaff

• Referenced in 586 articles [sw06916]
• Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

• Plingeling

• Referenced in 75 articles [sw07091]
• Lingeling, plingeling, picosat and precosat at sat race...

• PrecoSAT

• Referenced in 21 articles [sw07832]
• PrecoSAT uses an MIT style license. In essence...

• Glucose

• Referenced in 47 articles [sw07833]
• The Glucose SAT Solver. Glucose is based on...

• CryptoMiniSat

• Referenced in 41 articles [sw10082]
• CryptoMiniSat. In this solver description we present the...

• Treengeling

• Referenced in 51 articles [sw13314]
• Lingeling, Plingeling and Treengeling: Lingeling and its parallel...

• COMiniSatPS

• Referenced in 10 articles [sw18569]
• Between SAT and UNSAT: the fundamental difference in...

• satUZK

• Referenced in 4 articles [sw18570]
• SATUZK: solver description. satUZK is a conflict-driven...

• Syrup

• Referenced in 6 articles [sw25919]
• A distributed version of Syrup. A portfolio SAT...

• Splatz

• Referenced in 13 articles [sw25930]
• This is the SAT solver Splatz. It is...

• Lingeling

• Referenced in 85 articles [sw28021]
• SAT solver Lingeling. ...

• MapleCOMSPS

• Referenced in 7 articles [sw31642]
• The Maple series of SAT solvers is a...

• MapleCOMSPS_LRB

• Referenced in 5 articles [sw31643]
• The Maple series of SAT solvers is a...

• YalSAT

• Referenced in 25 articles [sw31644]
• YalSAT Yet Another Local Search Solver. Around 2012...

• CaDiCaL

• Referenced in 24 articles [sw31645]
• CaDiCaL Simplified Satisfiability Solver: The goal of CaDiCaL...

• Maple_LCM_Dist_ChronoBT

• Referenced in 2 articles [sw40038]
• Maple_LCM_Dist_ChronoBT: featuring chronological backtracking. Improving...