search

AlgebraicJulia / StructuredDecompositions.jl

Structured decompositions!
https://algebraicjulia.github.io/StructuredDecompositions.jl
MIT License
8 stars 1 forks source link

Implementing the Backtracking to exhibit the satisfying assignments. #22

Open jpfairbanks opened 5 days ago

jpfairbanks commented 5 days ago

Once we have decided on the existence of the coloring, we need to do backtracking to find it.