@hackage / extended-reals

Extension of real numbers with positive/negative infinities

0.2.7.0

Dependents

@hackage / MIP Library for using Mixed Integer Programming (MIP)
- Version: 0.2.0.1
- Last uploaded: 5 months ago
- License: BSD-3-Clause
@hackage / MIP-glpk A GLPK backend to the MIP library.
- Version: 0.2.0.1
- Last uploaded: 5 months ago
- License: GPL-3.0-only
@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / connections Orders, Galois connections, and lattices.
- Version: 0.3.2
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / data-interval Interval datatype, interval arithmetic and interval-based containers
- Version: 2.1.2
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / net-spider A graph database middleware to maintain a time-varying graph.
- Version: 0.4.3.7
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / project-m36 Relational Algebra Engine
- Version: 1.2.6
- Last uploaded: 3 months ago
- License: MIT
@hackage / toysolver Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
- Version: 0.9.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause