Search results

Example #3 in README.md is broken.

questionFurther information is requestedFurther information is requested

Status: Closed (completed).

#48 In elsoroka/Satisfiability.jl;

· by rafaelbailo was closed on Jul 8, 2024

Documentation workflow times out

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Closed (completed).

#37 In elsoroka/Satisfiability.jl;

· by elsoroka was closed on Mar 12, 2024

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

Fix Docs build issue and minor issues

Status: Merged (completed).

elsoroka/Satisfiability.jlnumber 27

#27 In elsoroka/Satisfiability.jl;

· by elsoroka was closed on Dec 12, 2023

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

Add missing operators defined in SMT-LIB QF_BV Logic specification

enhancementNew feature or requestNew feature or request

Status: Closed (completed).

#22 In elsoroka/Satisfiability.jl;

· by elsoroka was closed on Dec 2, 2023

Merge dev branch with ints + reals, SMT arithmetic, updated docs, doc building Github action.

Status: Merged (completed).

elsoroka/Satisfiability.jlnumber 4

#4 In elsoroka/Satisfiability.jl;

· by elsoroka was closed on Jul 1, 2023