Thanks to visit codestin.com
Credit goes to github.com

Issue with polymorphic equality #361

Open

Labels

opened

(set-logic ALL)
(assert (= 0 0.0))
(check-sat)

Metadata

Assignees

No one assigned

Labels

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests