GitHub repository: rafaelravedutti/sat
Primary language: Prolog
Created: 2015-12-07T13:01:30Z
Description: Boolean satisfiability problem