AvatarSAT is a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis.
Categories
QA AutomationLicense
MIT LicenseFollow AvatarSAT
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of AvatarSAT!