-
Notifications
You must be signed in to change notification settings - Fork 2
/
README
55 lines (42 loc) · 1.84 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
* About:
This code provides an OCaml interface to the CUDD BDD library.
It includes higher-order functions for performing user-defined functions on
BDDs while taking advantage of CUDD internals (caches and hashtables).
* Contains:
- The CUDD BDDs library (http://vlsi.colorado.edu/software.html),
version 2.4.2
- Additional functions to CUDD library
(related files: cuddauxXXXX.(c|h))
- Interface of CUDD to OCAML (BDDs, ADDs)
(A stands for Arithmetic: float OCaml values at the leaves)
- VDD: MTBDD with any OCaml values at the leaves.
(V stands for Ocaml Values)
- Higher order functions for VDDs
* What's needed :
- FINDLIB (http://projects.camlcity.org/projects/findlib.html)
- An ANSI C compiler (gcc is the only tested compiler)
- GNU MAKE
- OBJECTIVE CAML 3.12.1 or up (recent version, http://caml.inria.fr)
- CAMLIDL 1.05 (http://caml.inria.fr/camlidl)
- GREP, GNU SED, GNU M4
* To build,
Set Makefile.config from Makefile.config.model model.
A VERY IMPORTANT REMARK:
* Set properly the C compilation flags XCFLAGS (processor, alignement)
make all: build the bytecode and native versions of the interface
make install: installs using FINDLIB and its conventions (package name: cudd)
make uninstall: uninstalls
make (example|test_mtbdd).byte: build bytecode version of test_mtbdd.ml
make (example|test_mtbdd).opt: build native-code version of test_mtbdd.ml
make clean: normal clean
make mostylclean: delete also generated files (from .idl files) and CUDD files
make mlcuddidl.dvi:
make mlcuddidl.pdf:
make html:
You can also look at session.ml.
* IN CASE OF PROBLEM (Makefile.config not configured, bad versions
of tools, etc...), empty files may be generated from .idl and strange
errors may occur at compilation. In this case, do
make distclean
to reinitialize properly things.
* Documentation: DVI (mlcuddidl.dvi), HTML (html/index.html)