Architecture - marcbenedi/SAT-tfg GitHub Wiki

Part 1: Boolean formulae

/resources/svg/Base-architecture.svg

Part 2: Pseudo-Boolean minimisation problems

/resources/svg/Iteration-2-Architecture-Simplified-UML.svg