basic structure for copyright
SAT solver extracted from regolic
tests extracted from regolic