Introduction

SolHOP aims to be a SAT and MaxSAT solver. Currently, a CDCL based SAT (boolean satisfiability) solver (rsat) is being implemented.

Install

TODO