- replaced the SAT_implementation folder with a package
- added some unit tests
- updated the utilities