Search results

Fix issue #6

bugSomething isn't workingSomething isn't working

Status: Merged (completed).

elsoroka/Satisfiability.jlnumber 33

#33 In elsoroka/Satisfiability.jl;

· by elsoroka was closed on Feb 10, 2024

Reals example in README.md doesn't work

bugSomething isn't workingSomething isn't working

Status: Closed (completed).

#32 In elsoroka/Satisfiability.jl;

· by zygi was closed on Feb 10, 2024

Value of constant shouldn't be modified when problem is unsat

bugSomething isn't workingSomething isn't working

Status: Closed (completed).

#26 In elsoroka/Satisfiability.jl;

· by elsoroka was closed on Dec 12, 2023