Page Index - marcbenedi/SAT-tfg GitHub Wiki 17 page(s) in this GitHub Wiki: Home Table of contents Quick examples Boolean formula Pseudo-Boolean optimisation Introduction Features Boolean formula Pseudo-Boolean optimisation Download Install Compile and execute License Architecture Boolean formula Classes and methods Pseudo Boolean optimisation