[Diff since v0.3.3](v0.3.3...v0.4.0)

**Merged pull requests:**
- Migration to Tractables (#110) (@khosravipasha)

[Diff since v0.3.2](v0.3.2...v0.3.3)

**Closed issues:**
- issues running the Juice-Example notebook (#107)

**Merged pull requests:**
- Union{Missing, T} instead of typemax for missing for gpu (#105) (@khosravipasha)
- CompatHelper: bump compat for CSV to 0.10, (keep existing compat) (#106) (@github-actions[bot])
- Create nonexisting literals when smooth_node does not find them (#108) (@RenatoGeh)

[Diff since v0.3.1](v0.3.1...v0.3.2)

**Merged pull requests:**
- Support for `read` and `write` of circuits to *.gz compressed files (#104) (@guyvdbroeck)

[Diff since v0.3.0](v0.3.0...v0.3.1)

**Closed issues:**
- Use the CUDA.jl occupancy API (#101)

**Merged pull requests:**
- Add `make_vars_contiguous` and `has_vars_contiguous` to relabel variable indices (#102) (@guyvdbroeck)

[Diff since v0.2.4](v0.2.4...v0.3.0)

**Closed issues:**
- Use `CombinedParsers.jl` instead of our custom file loader  (#40)
- SDD files load as plain logic circuits (#70)

**Merged pull requests:**
- CompatHelper: bump compat for CSV to 0.9, (keep existing compat) (#98) (@github-actions[bot])
- overhaul of input-output functionality (#99) (@guyvdbroeck)

[Diff since v0.2.3](v0.2.3...v0.2.4)

**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)

[Diff since v0.2.2](v0.2.2...v0.2.3)

Version 0.2.3

**Closed issues:**
- save_as_dot Clean up (#7)
- Literal index support other that 1:N (or also support for reindexing) (#20)
- Retrieve all compiled variables in an SDD manager (#38)
- add support for smoothing structured decomposable circuits (#43)
- Move to DataFrames v0.22 (#57)

**Merged pull requests:**
- CompatHelper: bump compat for "Reexport" to "1.0" (#61) (@github-actions[bot])
- Optionally pass an IO instead of filename to vtree saving (#62) (@RenatoGeh)
- add implied literals (#63) (@talf301)
- CompatHelper: bump compat for "DataFrames" to "0.22" (#65) (@github-actions[bot])
- CompatHelper: bump compat for "LoopVectorization" to "0.11" (#67) (@github-actions[bot])
- Stop struct_learn when there are no more candidates for transformation (#68) (@RenatoGeh)
- Structured smoothing (#69) (@talf301)
- Running example in README (#72) (@guyvdbroeck)

[Diff since v0.2.1](v0.2.1...v0.2.2)

**Closed issues:**
- Infer Vtree from StructLogicalΔ (#8)
- Smoothing results in having more than 2 childs for AND nodes (#19)
- Visualizing tools for the circuits (#23)
- `struct_learn` reaches assertion error (#37)
- Integrate Aqua Tests (#44)

**Merged pull requests:**
- add make_missing_mcar and basic imputations (#50) (@khosravipasha)
- CompatHelper: bump compat for "CSV" to "0.8" (#51) (@github-actions[bot])
- CompatHelper: bump compat for "DataFrames" to "0.22" (#55) (@github-actions[bot])

## LogicCircuits v0.2.1

[Diff since v0.2.0](v0.2.0...v0.2.1)

Release v0.2.1


**Merged pull requests:**
- initial githubaction (#46) (@khosravipasha)

## LogicCircuits v0.2.0

[Diff since v0.1.1](v0.1.1...v0.2.0)


**Closed issues:**
- Folds vs upward/downward passes (#3)
- Clean up and codecoverage (#4)
- is_struct_decomposable, and inferring vtree from given circuit (#10)
- Unify Data related objects (#11)
- Correct way of evaluating logic circuit (#15)
- Add Better Unit tests for evaluate (#17)
- Implement is_deterministic (#22)
- add `respects_vtree` (#27)
- Support evaluate for one instance (#29)
- Normalizing Probabilistic Flows in the Downward pass (#39)
- Julia version requirement for project not satisfied (#41)

**Merged pull requests:**
- Added merge operation and tests for merge (#14) (@shreyas-kowshik)
- Fix constant node evaluation (#16) (@RenatoGeh)
- Added function to get base of a SDD-Node and tests (#18) (@shreyas-kowshik)
- Refactoring foundations of LogicCircuits (#25) (@guyvdbroeck)
- Added learnPSDD clone function (#28) (@shreyas-kowshik)
- Add save_as_tex for TikZ circuit saving (#30) (@RenatoGeh)
- Add clone and merge candidates (#31) (@shreyas-kowshik)
- Sdd mgr refactoring (#36) (@guyvdbroeck)
- Refactor (#42) (@guyvdbroeck)