https://github.com/convexbrain/Totsu

First-order conic solver for convex optimization problems
https://github.com/convexbrain/Totsu

conic convex optimization rust solver

Last synced: about 1 month ago
JSON representation

First-order conic solver for convex optimization problems

• Host: GitHub
• URL: https://github.com/convexbrain/Totsu
• Owner: convexbrain
• License: unlicense
• Created: 2016-01-03T18:02:31.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2023-05-05T06:34:15.000Z (about 1 year ago)
• Last Synced: 2024-05-06T23:41:47.479Z (about 2 months ago)
• Topics: conic, convex, optimization, rust, solver
• Language: Rust
• Homepage: https://crates.io/crates/totsu/
• Size: 5.21 MB
• Stars: 45
• Watchers: 3
• Forks: 4
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - Totsu - first-order conic solver for convex optimization problems . (Projects / Provers and Solvers)

README

        
# Totsu

Totsu (凸 in Japanese) means convex.

## solver_rust_conic/

The crates for Rust of

* `totsu_core`: A first-order conic linear program solver for convex optimization.

* `totsu`: Convex optimization problems LP/QP/QCQP/SOCP/SDP that can be solved by `totsu_core`.

* `totsu_f64lapack`: BLAS/LAPACK linear algebra operations for `totsu`/`totsu_core`.

* `totsu_f32cuda`: CUDA linear algebra operations for `totsu`/`totsu_core`.

Book(ja): https://convexbrain.github.io/Totsu/book/

## examples/

How to use Totsu to solve various optimization problems.

---

## [obsolete] solver/

This C++ package provides a basic **primal-dual interior-point method** solver: `PrimalDualIPM`.

solver/doxygen/ documentation: http://convexbrain.github.io/Totsu/PrimalDualIPM/html/

## [obsolete] solver_rust/

This crate for Rust provides a basic **primal-dual interior-point method** solver: `PDIPM`.

Crate: https://crates.io/crates/totsu/0.5.0/

Documentation: https://docs.rs/totsu/0.5.0/