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.

Project Activity

See All Activity >

Categories

QA Automation

License

MIT License

Follow AvatarSAT

AvatarSAT Web Site

You Might Also Like
eLearning Solutions For Your Workplace Icon
eLearning Solutions For Your Workplace

eloomi is an eLearning solution for your workplace to train, retain and engage employees.

eloomi combines Learning Management (LMS), Onboarding, Authoring, and continuous Performance Management tools in a cloud-based solution. It allows companies to optimize skill training, onboarding and employee development with strong user experience to enhance productivity and employee satisfaction. As a white label solution, the platform can be customized to mirror a company's branding and logo.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of AvatarSAT!

Additional Project Details

Intended Audience

Science/Research

User Interface

Command-line

Programming Language

C++

Related Categories

C++ QA Automation Software

Registered

2009-02-02
Report inappropriate content