issues
search
UnitTestBot
/
ksmt
Kotlin/Java API for various SMT solvers
https://ksmt.io/
Apache License 2.0
30
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
String theory support
#165
raf-nr
opened
1 day ago
0
Feature request: add OMT (Optimization Modulo Theories) support
#164
Yeicor
opened
2 days ago
0
Theories specialization
#163
Saloed
closed
1 month ago
0
Various fixes
#162
Saloed
closed
3 months ago
0
Upgrade Z3 to 4.13.0 && support Z3 on linux/arm
#161
Saloed
closed
4 months ago
0
Yices model doesn't collect all uninterpreted sort values
#160
Bupaheh
opened
6 months ago
0
Fix Z3 assert and track
#159
Saloed
closed
7 months ago
0
Upgrade cvc5 to 1.1.2
#158
Saloed
closed
7 months ago
0
Open KContext to allow sort customization
#157
Saloed
closed
7 months ago
0
Fix docs for extensions of bitvectors
#156
Damtev
closed
7 months ago
0
Fixes
#155
Bupaheh
closed
3 months ago
0
Rebuild yices with native deadlock fix
#154
Saloed
closed
9 months ago
0
Yices macos arm
#153
Saloed
closed
9 months ago
0
Faster bv creation
#152
Saloed
closed
10 months ago
0
Rework model detach
#151
Saloed
closed
10 months ago
0
Yices: native bulk asserts
#150
Saloed
closed
10 months ago
0
Fix custom bv values support
#149
Saloed
closed
11 months ago
0
Upgrade z3 version to 4.12.5
#148
Saloed
closed
10 months ago
0
Manylinux compatibility
#147
Saloed
closed
1 year ago
0
Check all solvers on glibc 2.31
#146
Saloed
closed
1 year ago
1
Fix expressions simplification
#144
Saloed
closed
1 year ago
0
Z3: Fix model detach
#143
Saloed
closed
1 year ago
0
Rebuild Yices on mac-os
#142
Saloed
closed
1 year ago
0
Z3: support fp.to_sbv internal decl
#141
Damtev
closed
1 year ago
0
Z3: support `fp.to_ieee_bv` internal decl
#140
Saloed
closed
1 year ago
0
Fix Z3 model detach
#139
Damtev
closed
1 year ago
0
Quantifier elimination for the theory of bit vectors
#138
AnzhelaSukhanova
opened
1 year ago
0
MaxSMT solver implementation
#137
viktoriia-fomina
opened
1 year ago
0
Fix release builds
#136
Saloed
closed
1 year ago
0
Bitwuzla update to 0.2.0-dev
#135
dee-tree
opened
1 year ago
1
Bulk assert solver API
#134
Saloed
closed
1 year ago
0
Bulk assert solver API
#133
Damtev
closed
1 year ago
0
Upgrade Z3 version to 4.12.2
#132
Saloed
closed
1 year ago
0
Native package distribution refactoring
#131
Saloed
closed
1 year ago
0
NeuroSMT solver
#130
stephen-ostapenko
opened
1 year ago
0
Terminate solver on close
#129
Saloed
closed
1 year ago
0
Symfpu model fix
#128
Saloed
closed
1 year ago
0
Portfolio solver cancellation
#127
niyaznigmatullin
closed
1 year ago
4
Update SymFpu release config
#126
Saloed
closed
1 year ago
0
Try to support z3 on arm64 linux
#125
niyaznigmatullin
opened
1 year ago
0
Symfpu module
#124
Saloed
closed
1 year ago
0
Forking solver implementation
#123
dee-tree
opened
1 year ago
0
Expression visitor
#122
Saloed
closed
1 year ago
0
MaxSAT solver implementation
#121
viktoriia-fomina
closed
1 year ago
0
Added Just-the-docs theme
#120
olganaumenko
closed
1 year ago
0
Fix int division
#119
Saloed
closed
1 year ago
0
add symfpu module to support fp
#118
vavilovm
closed
1 year ago
0
Z3: add conversion for `idiv` and `bvcomp` operations
#117
Saloed
closed
1 year ago
0
Z3 decRefs on context close fix
#116
dee-tree
closed
1 year ago
0
Fix integer mod/rem simplification
#115
Saloed
closed
1 year ago
0
Next