All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by inequality with all dependencies

Search JAR files by class name

typine_2.12 from group com.github.mvv.typine (version 0.1-M4)

Type inequality witnesses for Scala

Group: com.github.mvv.typine Artifact: typine_2.12
Show all versions Show documentation Show source 
 

0 downloads
Artifact typine_2.12
Group com.github.mvv.typine
Version 0.1-M4
Last update 05. March 2022
Organization com.github.mvv.typine
URL https://github.com/mvv/typine
License Apache-2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

typine_2.13 from group com.github.mvv.typine (version 0.1-M4)

Type inequality witnesses for Scala

Group: com.github.mvv.typine Artifact: typine_2.13
Show all versions Show documentation Show source 
 

0 downloads
Artifact typine_2.13
Group com.github.mvv.typine
Version 0.1-M4
Last update 05. March 2022
Organization com.github.mvv.typine
URL https://github.com/mvv/typine
License Apache-2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

typine_3 from group com.github.mvv.typine (version 0.1-M4)

Type inequality witnesses for Scala

Group: com.github.mvv.typine Artifact: typine_3
Show all versions Show documentation Show source 
 

0 downloads
Artifact typine_3
Group com.github.mvv.typine
Version 0.1-M4
Last update 05. March 2022
Organization com.github.mvv.typine
URL https://github.com/mvv/typine
License Apache-2.0
Dependencies amount 1
Dependencies scala3-library_3,
There are maybe transitive dependencies!

typine_3.0.0-RC2 from group com.github.mvv.typine (version 0.1-M2)

Type inequality witnesses for Scala

Group: com.github.mvv.typine Artifact: typine_3.0.0-RC2
Show documentation Show source 
 

0 downloads
Artifact typine_3.0.0-RC2
Group com.github.mvv.typine
Version 0.1-M2
Last update 05. April 2021
Organization com.github.mvv.typine
URL https://github.com/mvv/typine
License Apache-2.0
Dependencies amount 1
Dependencies scala3-library_3.0.0-RC2,
There are maybe transitive dependencies!

typine_3.0.0-RC1 from group com.github.mvv.typine (version 0.1-M1)

Type inequality witnesses for Scala

Group: com.github.mvv.typine Artifact: typine_3.0.0-RC1
Show documentation Show source 
 

0 downloads
Artifact typine_3.0.0-RC1
Group com.github.mvv.typine
Version 0.1-M1
Last update 04. April 2021
Organization com.github.mvv.typine
URL https://github.com/mvv/typine
License Apache-2.0
Dependencies amount 1
Dependencies scala3-library_3.0.0-RC1,
There are maybe transitive dependencies!

jcobyla from group de.xypron.jcobyla (version 1.4)

COBYLA2 is an implementation of Powell's nonlinear derivative free constrained optimization that uses a linear approximation approach. The algorithm is a sequential trust region algorithm that employs linear approximations to the objective and constraint functions, where the approximations are formed by linear interpolation at n + 1 points in the space of the variables and tries to maintain a regular shaped simplex over iterations. It solves nonsmooth NLP with a moderate number of variables (about 100). Inequality constraints only. The initial point X is taken as one vertex of the initial simplex with zero being another, so, X should not be entered as the zero vector.

Group: de.xypron.jcobyla Artifact: jcobyla
Show all versions Show documentation Show source 
 

3 downloads
Artifact jcobyla
Group de.xypron.jcobyla
Version 1.4
Last update 31. May 2022
Organization not specified
URL https://github.com/xypron/jcobyla
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!



Page 1 from 1 (items total 6)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy