issues
search
i-am-tom
/
holmes
A reference library for constraint-solving with propagators and CDCL.
https://hackage.haskell.org/package/holmes
MIT License
303
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat: Loosen bounds to work with GHC 9.6, fix test imports
#23
Tristano8
opened
4 months ago
0
Thoughts on deterministic shuffling, for repeatable procedural generation?
#22
byorgey
opened
5 months ago
0
Bump dependencies, allow building with GHC 9.4.8
#21
j-mueller
opened
9 months ago
0
Fix resolve
#20
ju1m
opened
1 year ago
0
fix failure provenance recomputing
#19
ju1m
opened
1 year ago
0
Fix invalid input due to back-propagation, fixes #14
#18
ju1m
closed
1 year ago
1
Produce solutions where the order doesn't matter
#17
L7R7
opened
2 years ago
1
Update tasty version bound to allow 1.4.x
#16
markus1189
closed
2 years ago
2
Change version bounds to fix nixpkgs build
#15
markus1189
closed
3 years ago
7
A small example produces a result I didn't expect
#14
bontaq
closed
1 year ago
1
When using shuffle, Holmes can't always find a solution
#13
olivierdeckers
opened
4 years ago
6
Implemented exactly combinator
#12
olivierdeckers
closed
4 years ago
1
Switch out EqR and OrdR classes (WIP)
#11
robx
closed
4 years ago
4
Improve type inference for (.==), (.>=), ...
#10
i-am-tom
closed
4 years ago
5
Added imports for the Fail monad
#9
Soupstraw
closed
4 years ago
4
Failing to build Watson: MonadFail not in scope
#8
Soupstraw
closed
4 years ago
0
stack overflow / infinite loop when solving with Intersect instead of Defined
#7
robx
closed
4 years ago
6
some common way to embed values across Defined / Intersect would be nice
#6
robx
closed
4 years ago
3
import Control.Monad.Fail to fix GHC 8.6 build
#5
robx
closed
4 years ago
3
Fix typo in README
#4
markus1189
closed
4 years ago
1
Fix test suites
#3
gwils
closed
4 years ago
2
Expose Moriarty
#2
gwils
closed
4 years ago
1
📝 Add README
#1
i-am-tom
closed
4 years ago
0