SAT in ProVerB

• adaptG2WSAT
• CaDiCaL
• CryptoMiniSat
• cvc4sy
• Eureka
• Glucose
• gNovelty
• GRAT
• kcnfs
• Kissat
• Lingeling
• march_dl
• march_eq
• MiniSat
• MXC
• ParaFROST
• PicoSAT
• plingeling
• RSat
• Sat4j
• SATenstein
• SPEAR
• TTS
• Vallst
• zChaff

25 items on this list.