Software:

• SrlgRI.exe (Win 64bit) , SrlgRI (Linux 64bit)
• Optimnal Balances Scheduling
• Minimum Label Spanning Trees
• SubsetSelection in R
• Splitting Algorithm IsSplit , SIS Algorithm book_50 graph, All benchmarks
• ChromSplit.exe , src ,book_100 graph, 2D grids, 3D grids.
• SpecCount.exe (Monotone CNF Model Counting), c++ source, Example problem. (Run SpecCount.exe --problem random_100_05.cnf --N=1000000 --R=5)
• TutteSE.exe C++ package for Tutte polynomial approximation, Example problem.
• The RelSplit C++ package for network reliability estimation. RelSplit.exe, Example problem 1, Example problem 2, Example problem 3.