Skip to content

Commit 0ea1a0c

Browse files
committed
bump satisfiability
1 parent 86f77bd commit 0ea1a0c

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

Project.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ PolynomialRoots = "1.0.0"
4242
ReactionNetworkImporters = "0.15.1"
4343
SBMLToolkit = "0.1.29"
4444
SafeTestsets = "0.1.0"
45-
Satisfiability = "0.1.1"
45+
Satisfiability = "0.2"
4646
SparseArrays = "1"
4747
SymbolicUtils = "3.7.2"
4848
julia = "1.10"

test/runtests.jl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,5 @@ using UnPack, SBMLImporter, SBMLToolkit
1010
@time @safetestset "Siphons" begin include("siphons.jl") end
1111
@time @safetestset "Persistence" begin include("persistence.jl") end
1212
@time @safetestset "Deficiency One Algorithm" begin include("deficiencyonealgorithm.jl") end
13-
@time @safetestset "Specific Stoichiometric Compatibility Class Functionality" begin include("specificscc.jl")
13+
@time @safetestset "Specific Stoichiometric Compatibility Class Functionality" begin include("specificscc.jl") end
1414
end

0 commit comments

Comments
 (0)