GitHub repository: parSyn/BooleanFunctionSynthesis
Primary language: C++
Created: 2017-05-12T10:41:52Z
Description: Implementation of algorithms for Boolean function synthesis