Skip to content
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

Add solvers for rationals #1394

Merged
merged 2 commits into from
Jan 11, 2021
Merged

Add solvers for rationals #1394

merged 2 commits into from
Jan 11, 2021
+47 −0

Conversation

uzytkownik
Copy link
Contributor

No description provided.

@MatthewDaggitt MatthewDaggitt added this to the v1.5 milestone Jan 4, 2021
@MatthewDaggitt
Copy link
Contributor

Thanks for the PR. We were hoping to deprecate this solver in favour of the new tactic enabled solver in Tactic.RingSolver (#1069) but given the current issues with the new solver (#1070, #1071, #1116, #1318) that no-one is tackling, it seems like we're stuck with this one for a while...

@MatthewDaggitt
Merge branch 'master' into rat-solver

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode
77ed74e
@MatthewDaggitt MatthewDaggitt merged commit fc8c21e into agda:master Jan 11, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
addition
Projects
None yet
Milestone
v1.5
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@uzytkownik @MatthewDaggitt