combinatorial-problems: A number of data structures to represent and allow the manipulation of standard combinatorial problems, used as test problems in computer science.

[ library, optimisation ] [ Propose Tags ]

In computer science there are a number of standard test problems that are used for testing algorithms, especially those related to Artificial Intelligence and Operations Research. Online there are a number of repositories for collections of known interesting problems, for example the TSPLIB at and the SATLIB at

This library seeks to provide implementations of data structures to store these problems, along with functions for manipulating the problems and routines to load problem files from various sources.

At present it only supports TSP and SAT/SATLIB (TSPLIB coming soon), however it is hoped that the loading routines can be expanded and the range of problems expanded to cover problems like scheduling and timetabling. The internal data structures make heavy use of the Data.Map library and Data.Array. It is not currently using unboxed values. The library does not use the bytestring library for loading and saving data either, which will probably need to be changed later.

Versions [faq] 0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5
Dependencies array (>=, base (>=2.0 && <=5), containers (>=, random (>= [details]
License LicenseRef-GPL
Copyright Copyright (c) 2011 Richard Senington
Author Richard Senington
Category Optimisation
Home page
Uploaded by RichardSenington at Sun Mar 6 12:16:20 UTC 2011
Distributions NixOS:0.0.5
Downloads 2434 total (43 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees