Jinterval ILS

JInterval Interval Linear Systems Solvers.

Artifacts using Jinterval ILS (3)

Sort by:Popular▼

✓Popular✓Newest

1.Jinterval Demo1 usages

com.github.jinterval.jinterval » jinterval-demo

JInterval Demo.

Last Release on Jun 16, 2025

2.Jinterval Proofs1 usages

com.github.jinterval.jinterval » jinterval-proofs

JInterval support for formal proofs.

Last Release on Jun 16, 2025

3.Jinterval

com.github.jinterval » jinterval

Jinterval

Last Release on Mar 11, 2023

• Prev
• 1
• Next