Search Results for "linear program solver tora"

Showing 6 open source projects for "linear program solver tora"

View related business solutions
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • Field Service+ for MS Dynamics 365 & Salesforce Icon
    Field Service+ for MS Dynamics 365 & Salesforce

    Empower your field service with mobility and reliability

    Resco’s mobile solution streamlines your field service operations with offline work, fast data sync, and powerful tools for frontline workers, all natively integrated into Dynamics 365 and Salesforce.
    Learn More
  • 1
    POT

    POT

    Python Optimal Transport

    This open source Python library provides several solvers for optimization problems related to Optimal Transport for signal, image processing and machine learning.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 2
    DiffOpt.jl

    DiffOpt.jl

    Differentiating convex optimization programs w.r.t. program parameters

    DiffOpt.jl is a package for differentiating convex optimization programs (JuMP.jl or MathOptInterface.jl models) with respect to program parameters. Note that this package does not contain any solver. This package has two major backends, available via the reverse_differentiate! and forward_differentiate! methods, to differentiate models (quadratic or conic) with optimal solutions. Differentiable optimization is a promising field of convex optimization and has many potential applications in...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3

    CQU

    Decision solver for Counting Quantifiers over Unary Predicates

    ...It also emplouys COIN-OR Clp linear programming solver, and inherit from it. Given a CQUSAT instance in normal form as input, the program returns a solution, if there is one. The implemented method employs dual Simplex Algorithm with Column Generation. At each iteration, a SAT instance is generated and a SAT Solver (minisat) decides its satisfiability. Details about CQUSAT, its normal form and this turing reduction can be found in the paper "CQUSAT.pdf" that comes with this package. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4

    LSE_Solver

    System of linear equations solver

    LSE_Solver is a program that solves system of linear equations using MPI library in c language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Outbound sales software Icon
    Outbound sales software

    Unified cloud-based platform for dialing, emailing, appointment scheduling, lead management and much more.

    Adversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency.
    Learn More
  • 5
    calc4fem
    Spreadsheet Template for Structural Engineering (FEA Analysis for beams, trusses, 2D-frames). It makes possible to create your own parametric models.Templates for engineering calculation (fatigue, concrete plates, etc)
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Program solves various linear programming problems using simplex method.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB