New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

mios version 1.5.1 #46

Closed

shnarazk wants to merge 1 commit into master from WIP-for-1.5.2

Owner

shnarazk commented Oct 23, 2017 •

edited

Loading

Biclause binary clause implementation #19 GADTs and Kind #28


          update version ids

a285717

shnarazk self-assigned this

shnarazk added research project MiniSat2 labels

Owner Author

shnarazk commented Oct 23, 2017

This PR is based on a wrong branch.

shnarazk closed this

shnarazk deleted the WIP-for-1.5.2 branch

October 23, 2017 23:13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

MiniSat2 research project