issues
search
elsoroka
/
Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
https://elsoroka.github.io/Satisfiability.jl/
MIT License
28
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
adding citation and paper badge!
#69
elsoroka
closed
1 week ago
1
Merge pull request #67 from elsoroka/main
#68
elsoroka
closed
2 weeks ago
1
merge main INTO joss-paper but I don't think this is necessary
#67
elsoroka
closed
2 weeks ago
0
Update bibliography.bib
#66
danielskatz
closed
2 weeks ago
0
[BUG] IOError
#65
EveWCheng
closed
2 weeks ago
2
Increment version number and add line in documentation for new release
#64
elsoroka
closed
2 weeks ago
1
Issue with certain iterators
#63
mykelk
opened
1 month ago
0
Make tests compatible with windows
#62
mykelk
closed
1 month ago
1
Add support for 3d tensors
#61
mykelk
closed
1 month ago
2
Support for tensors
#60
mykelk
opened
1 month ago
2
Bump actions/upload-artifact from 1 to 4
#59
dependabot[bot]
closed
1 month ago
0
Joss paper documentation update
#58
elsoroka
closed
1 month ago
0
Why CVC4 doesn't work out-of-the-box
#57
elsoroka
opened
1 month ago
1
Fix the docs issue
#56
elsoroka
closed
1 month ago
1
Joss revisions, final push
#55
elsoroka
closed
1 month ago
1
Automatically test julia examples in README.md
#54
rafaelbailo
closed
1 month ago
5
Update issue templates
#53
elsoroka
closed
2 months ago
2
Unicode support
#52
elsoroka
closed
2 months ago
2
Execute the README examples during the pre-deployment checks
#51
elsoroka
closed
1 month ago
2
JOSS Review Comments
#50
computablee
closed
3 weeks ago
13
JOSS Review Comments
#49
rafaelbailo
closed
1 month ago
11
Example #3 in README.md is broken.
#48
rafaelbailo
closed
1 month ago
2
Fix README example #1
#47
rafaelbailo
closed
2 months ago
0
Roadmap (Summer 2024 and beyond)
#46
elsoroka
opened
3 months ago
0
Add support for chaining
#45
mykelk
opened
3 months ago
1
Add support for unicode
#44
mykelk
closed
2 months ago
4
Automatically download Z3 if not already installed
#43
elsoroka
closed
3 months ago
1
First example in readme uses undefined variable
#42
mykelk
closed
3 months ago
0
Bump julia-actions/cache from 1 to 2
#41
dependabot[bot]
closed
4 months ago
0
An executable with the right name is not a sufficient condition for a working solver
#40
elsoroka
opened
5 months ago
0
Fix the Docs build issue
#39
elsoroka
closed
5 months ago
0
investigating docs build issue
#38
elsoroka
closed
5 months ago
0
Documentation workflow times out
#37
elsoroka
closed
5 months ago
0
Bump actions/checkout from 3 to 4
#36
dependabot[bot]
closed
5 months ago
1
Bump codecov/codecov-action from 3 to 4
#35
dependabot[bot]
closed
5 months ago
0
Create dependabot.yaml
#34
tschm
closed
5 months ago
0
Fix issue #6
#33
elsoroka
closed
6 months ago
1
Reals example in README.md doesn't work
#32
zygi
closed
6 months ago
1
Support for quantifiers
#31
remysucre
opened
7 months ago
1
TagBot trigger issue
#30
JuliaTagBot
closed
8 months ago
16
Release v0.1.1 with improvements and bugfixes
#29
elsoroka
closed
8 months ago
1
fix all the docs build issues?
#28
elsoroka
closed
8 months ago
1
Fix Docs build issue and minor issues
#27
elsoroka
closed
8 months ago
0
Value of constant shouldn't be modified when problem is unsat
#26
elsoroka
closed
8 months ago
0
^ (square) doesn't work for multiplication
#25
elsoroka
closed
8 months ago
0
Infer logic type from expression
#24
elsoroka
opened
9 months ago
0
Explicitly promote BoolExprs and IntExprs in mixed int/real arithmetic using `to_real` and `ite`.
#23
elsoroka
closed
9 months ago
1
Add missing operators defined in SMT-LIB QF_BV Logic specification
#22
elsoroka
closed
9 months ago
0
Typing allows the invalid expression Int + Bool
#21
elsoroka
closed
9 months ago
3
new update, generate data files for plotting in tex
#20
elsoroka
closed
11 months ago
0
Next