aspiwack randomizer-engine issues

aspiwack / randomizer-engine

generic, declarative randomizer engine which draws shuffles uniformely

6 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Clean-up yield.mli

#42 aspiwack closed 1 year ago
0
Improve gitignore

#41 aspiwack closed 1 year ago
0
Add an mli for the effects library

#40 aspiwack closed 1 year ago
0
A little library of effects

#39 aspiwack closed 1 year ago
0
Update dune version & handle opam pins correctly.

#38 aspiwack closed 1 year ago
0
Use algebraic effects for better looking code (but mostly for fun)

#37 aspiwack closed 1 year ago
0
An ∃SAT modelotron suitable for model counting

#36 aspiwack closed 1 year ago
0
Tseitin transform as a modelotron reduction

#35 aspiwack closed 1 year ago
0
Basic reduction to ∃SAT scaffolding

#34 aspiwack closed 1 year ago
0
Some more documentation on the history, and my plans

#33 aspiwack closed 1 year ago
0
Basic infrastructure for modelotron reductions

#32 aspiwack closed 1 year ago
0
Topiarification

#31 aspiwack closed 1 year ago
0
Opam-nix-ification

#30 aspiwack closed 1 year ago
0
Datalog

#29 aspiwack closed 1 year ago
0
Nix + GitHub action

#28 aspiwack closed 3 years ago
0
refactor: introduce a notion of passes & make pipeline explicit

#27 aspiwack closed 5 years ago
0
refactor: internal engine now handles multiple copies of objects

#26 aspiwack closed 5 years ago
0
refactor: pull the various types in their own modules

#25 aspiwack closed 5 years ago
0
Make a default `all` range variable

#24 aspiwack opened 5 years ago
0
Logics can be entered as .logic files

#23 aspiwack closed 5 years ago
0
Multiplicity constraints

#22 aspiwack closed 5 years ago
0
How can we handle prefilling?

#21 aspiwack opened 5 years ago
1
Require multiple keys to open a door isn't sufficient for key logic

#20 aspiwack opened 5 years ago
1
Maybe don't use naive CNF?

#19 aspiwack opened 5 years ago
0
fix: do not assign several items to the same location

#18 aspiwack closed 5 years ago
0
There does not seem to be a maximum capacity to locations

#17 aspiwack closed 5 years ago
0
Don't force all objects to be assigned

#16 aspiwack opened 5 years ago
1
Cache opam dependencies in CI

#15 aspiwack opened 5 years ago
0
Implement zdds

#14 aspiwack closed 5 years ago
0
Don't be absolutely stupidly inefficient in BDD -> ZDD conversion

#13 aspiwack closed 5 years ago
0
Consider locations with several items capacity

#12 aspiwack opened 5 years ago
0
Check name scoping when parsing a logic

#11 aspiwack opened 5 years ago
0
Support multiple objects of the same kind

#10 aspiwack opened 5 years ago
0
Misc refactors

#9 aspiwack closed 5 years ago
0
I need a path-counting zdd

#8 aspiwack closed 5 years ago
0
Make an input language

#7 aspiwack closed 5 years ago
0
Initial Circle configuration

#6 aspiwack closed 5 years ago
0
Debug printing uses Logs

#5 aspiwack closed 5 years ago
0
Probably stop using Seq and use Iter instead

#4 aspiwack opened 5 years ago
0
Use a sat solver

#3 aspiwack closed 5 years ago
0
Add monotonicity rules

#2 aspiwack closed 5 years ago
0
Don't build the solver in the BDD

#1 aspiwack closed 5 years ago
1