HaifaSAT Users’ Registration Request for Download the HaifaSAT Solver: This software is for non-commercial use only. If you want to make a commercial use of HaifaSat, please contact me for more information. Hi. We would like to know where and how our solver is being used by you. Please fill out the form below and click the submit button to download the solver. Name* First Last Email* Enter Email Confirm Email Affiliation/Reason for request: (optional)