Parametric Integer Programming Library
☆15Jan 23, 2024Updated 2 years ago
Alternatives and similar repositories for piplib
Users that are interested in piplib are comparing it to the libraries listed below
Sorting:
- The CLooG Code Generator in the Polyhedral Model☆52Jun 26, 2023Updated 2 years ago
- Hope this could be helpful when you're struggling with finding a suitable PhD/postDoc position.☆10Aug 14, 2023Updated 2 years ago
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆32Jul 19, 2024Updated last year
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 2 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 5 years ago
- PolyBench/C from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆20Jan 26, 2016Updated 10 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆25Dec 19, 2022Updated 3 years ago
- Chunky Loop Interaction☆25Aug 13, 2019Updated 6 years ago
- An open-source library crafting efficient algorithms for Mixed Integer Linear Programming (MILP) challenges.☆12May 4, 2024Updated last year
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆30Apr 26, 2022Updated 3 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆130Jul 22, 2022Updated 3 years ago
- ☆36Apr 20, 2021Updated 4 years ago
- Play with MLIR right in your browser☆138May 25, 2023Updated 2 years ago
- Get input data from Joysticks such as the Xbox360 Controller into MATLAB. Also set vibration of the Joystick as well.☆12Dec 24, 2014Updated 11 years ago
- repository for notes and data from machine learning studies☆11Dec 16, 2019Updated 6 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆40Jul 22, 2022Updated 3 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 4 years ago
- BBO optimiser☆11Feb 11, 2020Updated 6 years ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years ago
- Build-to-Order BLAS☆12Apr 9, 2019Updated 6 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- ☆10Oct 22, 2019Updated 6 years ago
- A template for developing custom FIRRTL transforms☆10Jan 30, 2020Updated 6 years ago
- ☆10Sep 16, 2020Updated 5 years ago
- The working draft to split rocket core out from rocket chip☆14Dec 22, 2023Updated 2 years ago
- ☆12May 8, 2025Updated 9 months ago
- ☆11Dec 22, 2024Updated last year
- Anderson Acceleration for Nonconvex ADMM Based on Douglas-Rachford Splitting☆10Jun 25, 2020Updated 5 years ago
- Implementation of Stochastic Gradient Langevin Dynamics☆13Sep 29, 2018Updated 7 years ago
- ☆12May 23, 2018Updated 7 years ago
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 5 months ago
- HTML+CSS to PDF in Node.JS☆13Jul 31, 2017Updated 8 years ago
- ☆14Dec 2, 2021Updated 4 years ago
- This repository is outdated and the related functionality has been migrated to https://github.com/easysoc/easysoc-firrtl☆11Nov 3, 2021Updated 4 years ago
- A markdown-it plug-in for rendering citations and a bibliography inside markdown☆12Dec 1, 2024Updated last year
- Set up a specific version of the Z3 theorem prover☆13Updated this week
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- DNE4py is a python library that aims to run and visualize many different evolutionary algorithms with high performance using mpi4py. It a…☆10Oct 13, 2020Updated 5 years ago