Flora :: [Package]

Search a package

@hackage / presburger

A decision procedure for quantifier-free linear arithmetic.

1.3.1

About 9 Versions Changelog 3 Dependencies 4 Dependents Security

About 9 Versions Changelog 3 Dependencies 4 Dependents Security

Version history

1.3.1
- Uploaded: 11 years ago
- Revised: 7 years ago
- License: BSD-3-Clause
1.3
- Uploaded: 11 years ago
- Revised: 7 years ago
- License: BSD-3-Clause
1.2
- Uploaded: 11 years ago
- Revised: 11 years ago
- License: BSD-3-Clause
1.1
- Uploaded: 12 years ago
- Revised: 11 years ago
- License: BSD-3-Clause
1.0
- Uploaded: 12 years ago
- Revised: 11 years ago
- License: BSD-3-Clause
0.4
- Uploaded: 15 years ago
- Revised: 7 years ago
- License: BSD-3-Clause
0.3
- Uploaded: 17 years ago
- Revised: 7 years ago
- License: BSD-3-Clause
0.2
- Uploaded: 17 years ago
- Revised: 7 years ago
- License: BSD-3-Clause
0.1
- Uploaded: 17 years ago
- Revised: 7 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