gmrehbein / ocamlgraph Goto Github PK
View Code? Open in Web Editor NEWThis project forked from backtracking/ocamlgraph
OCaml graph library
License: Other
This project forked from backtracking/ocamlgraph
OCaml graph library
License: Other
************************************************************************** * * * OCamlgraph: a generic graph library for OCaml * * Copyright (C) 2004-2013 * * Sylvain Conchon, Jean-Christophe Filliatre and Julien Signoles * * * * This software is free software; you can redistribute it and/or * * modify it under the terms of the GNU Library General Public * * License version 2.1, with the special exception on linking * * described in file LICENSE. * * * * This software is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. * * * ************************************************************************** OCamlgraph is a graph library for Ocaml. Its contribution is three-fold: 1. It provides an easy-to-use graph implementation together with several operations and algorithms over graphs, in Graph.Pack.Digraph. It is a reasonably efficient imperative data structure for directed graphs with vertices and edges labeled with integers. Have a look at this module first in order to get an overview of what this library provides. See also `demo.ml'. 2. Then OCamlgraph provides several other graph implementations for those not satisfied with the one above. Some are persistent (imutable) and other imperative (mutable). Some are directed and other are not. Some have labels for vertices, or labels for edges, or both. Some have abstract types for vertices. etc. See interface Sig for the graph signatures and modules Persistent and Imperative for the implementations. These implementations are written as functors: you give the types of vertices labels, edge labels, etc. and you get the data structure as a result. 3. Finally, OCamlgraph provides several classic operations and algorithms over graphs. They are also written as functors i.e. independently of the data structure for graphs. One consequence is that you can define your own data structure for graphs and yet re-use all the algorithms from this library -- you only need to provide a few operations such as iterating over all vertices, over the successors of a vertex, etc. How to link with OCamlgraph --------------------------- OCamlgraph is packaged as a single module `Graph'. Link is done as follows: - bytecode ocamlc graph.cma <other files> - native code ocamlopt graph.cmxa <other files> Examples -------- You'll find examples of OCamlgraph use in demo.ml, demo_planar.ml and color.ml (you can compile these programs with "make demo.opt", "make demo_planar.opt" and "make color.opt" respectively). Bug reports ----------- Bug reports can be sent to Sylvain Conchon <[email protected]> Jean-Christophe Filliatre <[email protected]> Julien Signoles <[email protected]>
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.