This repository is forked from Parallel Search Algorithms Library. This software equips INSAT 1, 2 with parallel processing capability, namely PINSAT, using the ideas developed in ePA*SE.
NOTE: All the previous versions and implementations of INSAT are going through a transition to adapt to this multi-threaded framework. Hence, please check this space back if the recent publications are not added yet. Sorry for the inconvenience.
For the readme of pure search algorithms in this repository, please visit here.