v0.7.0

Overall:

• Adds support for all major x86 operating systems, each with two variants: including and excluding d4v2
• Added support for CNF / DIMACS files as input. (Knowledge compilation into the corresponding graph structure with d4v2)
• Adds support for multiple SAT calls via query file
• Replaces the parameter 'omitted_features' with 'total_features'
• Improves performance for 'cardinality of features' operation
• Adds Docker support for execution

Stream API:

• Adds ranges for the parameters 'variables' and 'assumptions'
• Adds multithreading support
• Adds support for incrementally manipulating the underlying CNF
• Adds support for saving the manipulated CNF