#

order-maintenance

Here are 2 public repositories matching this topic...

jeltsch / order-maintenance

Algorithms for the order maintenance problem with a safe, yet flexible interface

haskell algorithms functional-programming order-maintenance

Updated Oct 8, 2018
Haskell

jeltsch / order-maintenance-correctness

Proof of correctness of the Jeltsch–Firsov order maintenance algorithm

algorithms data-structures formal-methods formal-verification order-maintenance

Updated Apr 25, 2021

Improve this page

Add a description, image, and links to the order-maintenance topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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