issues
search
bruderj15
/
Hasmtlib
A monad for interfacing with external SMT solvers
GNU General Public License v3.0
12
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Publish v2.7.1
#117
bruderj15
closed
1 month ago
0
107 smart ite
#116
bruderj15
closed
1 month ago
0
Overflow-safe BitVec
#115
bruderj15
opened
2 months ago
1
Statistic debugger
#114
bruderj15
closed
1 month ago
1
Let-binding
#113
bruderj15
closed
2 months ago
4
Generalize counting-functions
#112
bruderj15
closed
2 months ago
1
Revisit Cardinality-Constraints
#111
bruderj15
closed
1 month ago
4
Declaring/Defining functions
#110
bruderj15
opened
2 months ago
0
Sum-types
#109
bruderj15
opened
2 months ago
0
Proper comparison to other libraries with code examples
#108
bruderj15
opened
2 months ago
0
`ite`-Simplifications
#107
bruderj15
closed
1 month ago
0
Publish v2.7.0
#106
bruderj15
closed
2 months ago
0
104 timeouts
#105
bruderj15
closed
2 months ago
0
Setting solver timeouts
#104
bruderj15
closed
2 months ago
0
Helpful instances for deriving `Codec`
#103
bruderj15
closed
2 months ago
0
Publish v2.6.3
#102
bruderj15
closed
2 months ago
0
Clean
#101
bruderj15
closed
2 months ago
0
Add extra bitwuzla config for kissat
#100
bruderj15
closed
2 months ago
0
`solveOptimized` has wrong places for `push`/`pop`
#99
bruderj15
closed
2 months ago
1
More default debuggers
#98
bruderj15
closed
2 months ago
1
Observable-Sharing dramatically increases solver run-time when sharing few expressions
#97
bruderj15
closed
2 months ago
1
Publish v2.6.2
#96
bruderj15
closed
2 months ago
0
Smart cardinality
#95
bruderj15
closed
2 months ago
0
Puiblish v2.6.1
#94
bruderj15
closed
2 months ago
0
91 hackage doc
#93
bruderj15
closed
2 months ago
0
90-relation: stole some Ersatz.Relation
#92
bruderj15
closed
2 months ago
0
Hackage descriptions
#91
bruderj15
closed
2 months ago
0
Relation
#90
bruderj15
closed
2 months ago
2
Comparison to `sbv`
#89
andreasabel
closed
2 months ago
4
Publish v2.6.0
#88
bruderj15
closed
2 months ago
0
42 signed bitvec
#87
bruderj15
closed
2 months ago
0
Publish v2.5.1
#86
bruderj15
closed
2 months ago
0
81-eq-sharing: Added SharingMode, defaults to StableNames
#85
bruderj15
closed
2 months ago
0
Publish v2.5.0
#84
bruderj15
closed
3 months ago
0
Implemented #80 and #82
#83
bruderj15
closed
3 months ago
0
Shrink blown up Expr-GADT
#82
bruderj15
closed
3 months ago
0
Sharing equivalent sub-expressions independent of their StableName
#81
bruderj15
opened
3 months ago
1
Enum, Integral instances for numerical Expr t?
#80
bruderj15
closed
3 months ago
1
Publish v2.4.0
#79
bruderj15
closed
3 months ago
0
Publish v2.3.2
#78
bruderj15
closed
3 months ago
0
74 fixes
#77
bruderj15
closed
3 months ago
0
43 observable sharing
#76
bruderj15
closed
3 months ago
4
compatibility with GHC 9.4.8 (#74)
#75
fabeulous
closed
3 months ago
1
Build issues with GHC 9.4.8
#74
fabeulous
closed
3 months ago
1
Publish v2.3.1
#73
bruderj15
closed
3 months ago
0
Publish 70
#72
bruderj15
closed
3 months ago
0
smart constructors for Int/Bool expressions
#71
niedjoh
closed
3 months ago
0
smart constructors for booleans / integers
#70
niedjoh
closed
3 months ago
4
Develop
#69
bruderj15
closed
3 months ago
0
66 strings
#68
bruderj15
closed
3 months ago
0
Next