Specypushed 1 commit to main • fcb66d2…2a291e2 • 21 days ago
Specypushed 1 commit to main • b267591…fcb66d2 • on Jan 25
Specypushed 1 commit to main • 7d7ed0c…b267591 • on Jan 25
Specypushed 1 commit to main • 15e659d…7d7ed0c • on Jan 25
Specypushed 1 commit to main • d6ae3b6…15e659d • on Jan 25
Add named constraints, completes
#27
Specypushed 1 commit to main • e488f4b…d6ae3b6 • on Jan 25
Specypushed 1 commit to main • 71a029a…e488f4b • on Jan 24
Add CPLEX LP solver from source
Specypushed 1 commit to main • b120d4a…71a029a • on Jan 24
Specypushed 1 commit to main • bdde624…b120d4a • on Jan 23
Specypushed 1 commit to main • 62b83dc…bdde624 • on Jan 23
Specypushed 1 commit to main • 74d3b05…62b83dc • on Jan 23
Specypushed 1 commit to main • f5820eb…74d3b05 • on Jan 23
Specypushed 1 commit to main • 43c04a9…f5820eb • on Jan 23
Added HiGHS solver to web rooc and JsPipes to rooc
Specypushed 1 commit to main • 0044112…43c04a9 • on Jan 23
update docs and improve rust api
Specypushed 1 commit to main • 3f3f6ef…0044112 • on Jan 10
Specypushed 1 commit to main • fa5f1b9…3f3f6ef • on Jan 9
Specypushed 1 commit to main • 9d3aeb8…fa5f1b9 • on Jan 9
Specypushed 1 commit to main • 919b603…9d3aeb8 • on Jan 5
revert deps update (tla plugin not working),
fixes #25
Specypushed 1 commit to main • c69feb8…919b603 • on Jan 3
revert deps update (tla plugin not working)
Specypushed 1 commit to main • 29649db…c69feb8 • on Jan 3
Add download button for solutions
Specypushed 1 commit to main • a00b497…29649db • on Jan 3
Specypushed 1 commit to main • 8351d09…a00b497 • on Dec 28, 2024
Add docs for what is optimization
Specypushed 1 commit to main • 5b9b13f…8351d09 • on Dec 27, 2024
Merge pull request
#23 from seantiz/main
Pull request merge
Specypushed 5 commits to main • 3a1233d…5b9b13f • on Dec 27, 2024
Specypushed 1 commit to main • bae3d94…3a1233d • on Dec 25, 2024
Specypushed 1 commit to main • a583454…bae3d94 • on Nov 23, 2024
Specypushed 1 commit to main • 6a764a9…a583454 • on Nov 23, 2024
Specypushed 1 commit to main • d955754…6a764a9 • on Nov 11, 2024
Specypushed 1 commit to main • 82035ee…d955754 • on Nov 10, 2024
Specypushed 1 commit to main • 79e521b…82035ee • on Nov 9, 2024
You can’t perform that action at this time.