#

lp-problem

Here are 2 public repositories matching this topic...

donfaq / LP_max_clique

Implementation of branch and bound algorithm for maximum clique problem with cplex

algorithms graph cplex branch-and-bound clique lp-problem maximum-clique

Updated Sep 16, 2026
Python

norbit8 / automated_reasoning_abt_sw

The final project in the course "Automated reasoning about software" 67532 (The Hebrew University of Jerusalem).

python linear-programming sat-solver smt-solver lp-problem

Updated Feb 15, 2021
Python

Add this topic to your repo

To associate your repository with the lp-problem topic, visit your repo's landing page and select "manage topics."