From: vincent.diemunsch@gmail.com
Subject: Re: BDD package in Ada.
Date: Thu, 9 Apr 2015 11:23:37 -0700 (PDT)
Date: 2015-04-09T11:23:37-07:00 [thread overview]
Message-ID: <9f2e18d8-a944-4718-8cd4-419d7f5b6a45@googlegroups.com> (raw)
In-Reply-To: <c0be97fc-5ba3-4444-aae6-957551d65278@googlegroups.com>
Le jeudi 9 avril 2015 18:51:23 UTC+2, jan.de...@gmail.com a écrit :
> On Wednesday, April 8, 2015 at 8:39:21 PM UTC+2, vincent....@gmail.com wrote:
>
> >
> > Thank you for the link. It sounds very interesting. Is it free to read it ?
> > Kind regards,
> >
> > Vincent
>
>
> Vincent,
> I managed to make a pdf / dvi out of one of Knuths Literate Programming files.
>
> http://www-cs-faculty.stanford.edu/~uno/programs.html#bdd12
>
> if you want I can send it to you.
>
> cheers,
>
> j.
Is it about BDDs ? Yes I would be pleased to read it.
Vincent
next prev parent reply other threads:[~2015-04-09 18:23 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-04-07 20:35 BDD package in Ada Vincent DIEMUNSCH
2015-04-08 6:38 ` Dmitry A. Kazakov
2015-04-08 7:44 ` Vincent DIEMUNSCH
2015-04-08 12:25 ` jan.de.kruyf
2015-04-08 18:39 ` vincent.diemunsch
2015-04-09 9:31 ` jan.de.kruyf
2015-04-09 16:51 ` jan.de.kruyf
2015-04-09 18:23 ` vincent.diemunsch [this message]
2015-04-08 21:30 ` Randy Brukardt
2015-04-08 23:40 ` Paul Rubin
2015-04-09 9:05 ` gautier_niouzes
2015-04-09 23:49 ` Randy Brukardt
2015-04-09 9:06 ` Georg Bauhaus
2015-04-09 9:29 ` Dmitry A. Kazakov
2015-04-10 0:05 ` Randy Brukardt
2015-04-08 21:20 ` Randy Brukardt
2015-04-08 18:27 ` Per Sandberg
2015-04-09 15:24 ` Paul Rubin
2015-04-09 20:02 ` vincent.diemunsch
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox