Mixed Integer Quadratic Programming for Python (using MINLP-solver Bonmin)
☆14Mar 12, 2018Updated 7 years ago
Alternatives and similar repositories for pyMIQP
Users that are interested in pyMIQP are comparing it to the libraries listed below
Sorting:
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- library of civil engineering equations and solvers☆11Sep 18, 2019Updated 6 years ago
- LCP solver based on Lemke's method.☆13Oct 15, 2022Updated 3 years ago
- DDRS4PALS - A software for the acquisition and simulation of positron lifetime spectra (PALS) using the DRS4 evaluation board.☆12Aug 29, 2022Updated 3 years ago
- ☆10Jan 16, 2025Updated last year
- Learning Scala Programming, published by Packt☆11Jan 30, 2023Updated 3 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆15Updated this week
- Sparse Matrix Factorization (SMF) is a key component in many machine learning problems and there exist a verity a applications in real-w…☆11Jan 25, 2016Updated 10 years ago
- Thermodynamic property models for use with Modia and other Julia packages☆10Aug 7, 2022Updated 3 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆14Nov 16, 2025Updated 3 months ago
- This is the original Code Injector as featured in the February 2012 Being Inventive blog post. This repository will NOT be updated as thi…☆13Oct 22, 2021Updated 4 years ago
- Lemberg is a time-predictable VLIW processor optimized for performance.☆21May 8, 2013Updated 12 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- ☆17Feb 10, 2026Updated 3 weeks ago
- Code for blog post on r-squared☆13Jul 25, 2016Updated 9 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- ☆10May 5, 2020Updated 5 years ago
- easily transpile and lint your es6 to browser friendly code☆10Jul 20, 2024Updated last year
- ☆14Jun 6, 2016Updated 9 years ago
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Docker image for Tensorflow and Keras with CUDA support☆10Dec 1, 2016Updated 9 years ago
- Win32 API canvas library☆13Nov 27, 2015Updated 10 years ago
- Stimela is an environment for standardised mathematical models of drinking water treatment processes in Matlab/Simulink☆13Feb 9, 2018Updated 8 years ago
- Main repository☆11Sep 23, 2017Updated 8 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- ☆11Dec 12, 2019Updated 6 years ago
- Old Reinforcement Learning research from university☆10Jan 4, 2017Updated 9 years ago
- ☆10Apr 15, 2024Updated last year
- [HKUST Template] A latex template for PhD Qualification Exam (AKA PQE), especially for ECE from 2022 and later.☆13Jan 2, 2023Updated 3 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- ☆12Dec 24, 2021Updated 4 years ago
- Elmah plugin for Azure Table Storage☆13Jul 14, 2020Updated 5 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago