Skip to content

General updates#34

Open
swapneils wants to merge 247 commits intonikodemus:masterfrom
swapneils:master
Open

General updates#34
swapneils wants to merge 247 commits intonikodemus:masterfrom
swapneils:master

Conversation

@swapneils
Copy link

I don't yet have the bandwidth to actually commit to maintaining another project, but I have a few updates and bugfixes on top of the current repo. Adding this PR as a tracker in case other users want to make use of those changes or nikodemus comes back to this.

(more consing, but better runtime)
changes (e.g. probabilistic reasoning), code cleanup/fixes, and new helper functions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants