Programma's van parallelsat4j.sf.net

Dit is een academisch project; het belangrijkste doel is om een algoritme te genereren om een CNF-formule te paralleliseren en vervolgens de gedistribueerde onderdelen te voeden aan sequentiële SAT-oplossers, voor dit project