avatarsat online with Winfy

We have hosted the application avatarsat in order to run this application in our online workstations with Wine or directly.

Quick description about avatarsat:

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.

Audience: Science/Research.
User interface: Command-line.
Programming Language: C++.

.