CrystalBall

MaRDI QIDQ5974892swMATHFDO

Official website https://meelgroup.github.io/crystalball/

Described by source

• CrystalBall: gazing in the black box of SAT solving

Cited in

(5)

• An efficient subsumption test pipeline for BS(LRA) clauses
• Learning variable activity initialisation for lazy clause generation solvers
• XOR local search for Boolean Brent equations
• GPU-PRISM
• GPUexplore

This page was built for software: CrystalBall