v0.2.4

LogicCircuits v0.2.4

Diff since v0.2.3

Closed issues:

• SnoopCompile.jl (#34)
• Literate.jl (#45)
• non-smooth circuits: Bug in isstruct_decomposable, infer_vtree (#47)
• Potential Issues with traversal infra, counters (#64)
• Remove MLDatasets.jl dependency (#76)
• Correctness of isstruct_decomposable and infer_vtree? (#82)
• vtree(root) returns a circuit node instead of vtree node in some cases (#83)
• Unexpected behaviour for disjunction (#88)
• Dataframe issue with converting to Matrix{Bool} (#93)

Merged pull requests:

• Integrate Literate.jl template with documentation (#74) (@guyvdbroeck)
• Remove MLDatasets dependency (#77) (@khosravipasha)
• CompatHelper: bump compat for "LoopVectorization" to "0.12" (#79) (@github-actions[bot])
• Refactor data utils (#80) (@guyvdbroeck)
• add sdd smoothing (#81) (@talf301)
• Change circuit traversal API to use Dict instead of a counter field (#84) (@guyvdbroeck)
• Infer vtree (#85) (@talf301)
• CompatHelper: bump compat for "DataFrames" to "1.1" (#87) (@github-actions[bot])
• Add BinaryDecisionDiagrams.jl to Juice (#90) (@RenatoGeh)
• Upgrade to dataframes 1.x (#94) (@khosravipasha)
• CompatHelper: add new compat entry for Tables at version 1, (keep existing compat) (#95) (@github-actions[bot])
• Fix BDDs overwriting LoadSave.load_cnf (#96) (@RenatoGeh)
• Allow empty lines in CNF files (#97) (@RenatoGeh)