Flora :: [Package]

Search a package

@hackage / DifferenceLogic

A theory solver for conjunctions of literals in difference logic

0.1.0.4

About 3 Versions Changelog 5 Dependencies 2 Dependents Security

About 3 Versions Changelog 5 Dependencies 2 Dependents Security

Version history

0.1.0.4
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.1.0.2
- Uploaded: 11 years ago
- License: BSD-3-Clause
0.1.0.1
- Uploaded: 11 years ago
- License: BSD-3-Clause

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio