Tractables LogicCircuits.jl issues

Tractables / LogicCircuits.jl

Logic Circuits from the Juice library

https://tractables.github.io/LogicCircuits.jl/dev/

Apache License 2.0

48 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

CompatHelper: bump compat for StatsFuns to 1, (keep existing compat)

#111 github-actions[bot] opened 5 months ago
0
Migration to Tractables

#110 khosravipasha closed 5 months ago
0
CompatHelper: bump compat for StatsFuns to 1, (keep existing compat)

#109 github-actions[bot] closed 5 months ago
1
Create nonexisting literals when smooth_node does not find them

#108 RenatoGeh closed 2 years ago
3
issues running the Juice-Example notebook

#107 pedrozudo closed 2 years ago
5
CompatHelper: bump compat for CSV to 0.10, (keep existing compat)

#106 github-actions[bot] closed 2 years ago
1
Union{Missing, T} instead of typemax for missing for gpu

#105 khosravipasha closed 2 years ago
1
Support for `read` and `write` of circuits to *.gz compressed files

#104 guyvdbroeck closed 2 years ago
1
Plotting circuits is broken

#103 guyvdbroeck opened 2 years ago
1
Add `make_vars_contiguous` and `has_vars_contiguous` to relabel variable indices

#102 guyvdbroeck closed 3 years ago
1
Use the CUDA.jl occupancy API

#101 guyvdbroeck closed 3 years ago
2
Add back infer_vtree tests

#100 khosravipasha opened 3 years ago
0
overhaul of input-output functionality

#99 guyvdbroeck closed 3 years ago
1
CompatHelper: bump compat for CSV to 0.9, (keep existing compat)

#98 github-actions[bot] closed 3 years ago
1
Allow empty lines in CNF files

#97 RenatoGeh closed 3 years ago
2
Fix BDDs overwriting LoadSave.load_cnf

#96 RenatoGeh closed 3 years ago
1
CompatHelper: add new compat entry for Tables at version 1, (keep existing compat)

#95 github-actions[bot] closed 3 years ago
1
Upgrade to dataframes 1.x

#94 khosravipasha closed 3 years ago
1
Dataframe issue with converting to Matrix{Bool}

#93 khosravipasha closed 3 years ago
1
Docs and Examples and Tutorial for Bdds

#92 khosravipasha opened 3 years ago
0
Compile BDD to LogicCircuits

#91 khosravipasha opened 3 years ago
0
Add BinaryDecisionDiagrams.jl to Juice

#90 RenatoGeh closed 3 years ago
4
CompatHelper: bump compat for "DataFrames" to "1"

#89 github-actions[bot] closed 3 years ago
1
Unexpected behaviour for disjunction

#88 rimvydasrub closed 3 years ago
4
CompatHelper: bump compat for "DataFrames" to "1.1"

#87 github-actions[bot] closed 3 years ago
2
CompatHelper: bump compat for "DataFrames" to "1.0"

#86 github-actions[bot] closed 3 years ago
2
Infer vtree

#85 talf301 closed 3 years ago
2
Change circuit traversal API to use `Dict` instead of a `counter` field

#84 guyvdbroeck closed 3 years ago
0
`vtree(root)` returns a circuit node instead of vtree node in some cases

#83 khosravipasha closed 3 years ago
3
Correctness of `isstruct_decomposable` and `infer_vtree`?

#82 guyvdbroeck closed 3 years ago
4
add sdd smoothing

#81 talf301 closed 3 years ago
1
Refactor data utils

#80 guyvdbroeck closed 3 years ago
0
CompatHelper: bump compat for "LoopVectorization" to "0.12"

#79 github-actions[bot] closed 3 years ago
1
Add condition operation and forgetting

#78 khosravipasha opened 3 years ago
4
Remove MLDatasets dependency

#77 khosravipasha closed 3 years ago
1
Remove MLDatasets.jl dependency

#76 guyvdbroeck closed 3 years ago
0
Integrate with CUDD.jl

#75 guyvdbroeck opened 3 years ago
0
Integrate Literate.jl template with documentation

#74 guyvdbroeck closed 3 years ago
0
Tranformations for SDDs (Condition, Forget, Forall, ...)

#73 khosravipasha opened 3 years ago
0
Running example in README

#72 guyvdbroeck closed 3 years ago
0
an actual SAT solver

#71 guyvdbroeck opened 3 years ago
0
SDD files load as plain logic circuits

#70 talf301 closed 3 years ago
1
Structured smoothing

#69 talf301 closed 3 years ago
1
Stop struct_learn when there are no more candidates for transformation

#68 RenatoGeh closed 3 years ago
1
CompatHelper: bump compat for "LoopVectorization" to "0.11"

#67 github-actions[bot] closed 3 years ago
1
CompatHelper: bump compat for "LoopVectorization" to "0.10"

#66 github-actions[bot] closed 3 years ago
0
CompatHelper: bump compat for "DataFrames" to "0.22"

#65 github-actions[bot] closed 3 years ago
1
Potential Issues with traversal infra, counters

#64 khosravipasha closed 3 years ago
1
add implied literals

#63 talf301 closed 3 years ago
1
Optionally pass an IO instead of filename to vtree saving

#62 RenatoGeh closed 3 years ago
2