From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.236.3.36 with SMTP id 24mr14949345yhg.44.1428603817350;
        Thu, 09 Apr 2015 11:23:37 -0700 (PDT)
X-Received: by 10.140.102.172 with SMTP id w41mr387653qge.40.1428603817313;
 Thu, 09 Apr 2015 11:23:37 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!z60no577821qgd.0!news-out.google.com!k20ni78qgd.0!nntp.google.com!j5no576635qga.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 9 Apr 2015 11:23:37 -0700 (PDT)
In-Reply-To: <c0be97fc-5ba3-4444-aae6-957551d65278@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=87.91.37.131;
 posting-account=hya6vwoAAADTA0O27Aq3u6Su3lQKpSMz
NNTP-Posting-Host: 87.91.37.131
References: <44b2e375-8993-4a7e-b81a-6a7b512d2e3e@googlegroups.com>
 <1miph3v72f4y2$.1u76w2ujg74zf$.dlg@40tude.net>
 <c7db12c1-10fa-40ee-a2df-ff8a8b2177bc@googlegroups.com>
 <22562651-ba2f-46e9-82e4-52a992eda7dd@googlegroups.com>
 <fe8a3d90-8317-4136-823a-76a59c1cab84@googlegroups.com>
 <c0be97fc-5ba3-4444-aae6-957551d65278@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9f2e18d8-a944-4718-8cd4-419d7f5b6a45@googlegroups.com>
Subject: Re: BDD package in Ada.
From: vincent.diemunsch@gmail.com
Injection-Date: Thu, 09 Apr 2015 18:23:37 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2020
X-Received-Body-CRC: 3864796430
Xref: news.eternal-september.org comp.lang.ada:25495
Date: 2015-04-09T11:23:37-07:00
List-Id: <comp.lang.ada>

Le jeudi 9 avril 2015 18:51:23 UTC+2, jan.de...@gmail.com a =E9crit=A0:
> On Wednesday, April 8, 2015 at 8:39:21 PM UTC+2, vincent....@gmail.com wr=
ote:
>=20
> >=20
> > Thank you for the link. It sounds very interesting. Is it free to read =
it ?
> > Kind regards,
> >=20
> > Vincent
>=20
>=20
> Vincent,
> I managed to make a pdf / dvi out of one of Knuths Literate Programming f=
iles.
>=20
> http://www-cs-faculty.stanford.edu/~uno/programs.html#bdd12
>=20
> if you want I can send it to you.
>=20
> cheers,
>=20
> j.

Is it about BDDs ? Yes I would be pleased to read it.

Vincent