On 2019/03/22 16:05, Alessandro DE LAURENZIS wrote:
> Hello Stuart,
>
> On 22/03/2019 15:16, Stuart Henderson wrote:
>
> [...]
> > Diff on top of yours.
> >
> > - fix fetches
> >
> > - it's c++ so use COMPILER
>
> Just for my comprehension, could you please elaborate a bit (or point me to
>
Hello Stuart,
On 22/03/2019 15:16, Stuart Henderson wrote:
[...]
Diff on top of yours.
- fix fetches
- it's c++ so use COMPILER
Just for my comprehension, could you please elaborate a bit (or point me
to the relevant manpage)?
- it builds with or without doxygen, but if present during
On 2019/03/22 10:27, Alessandro DE LAURENZIS wrote:
> Hello Anthony,
>
> thanks a lot for your feedback.
>
> On 22/03/2019 06:16, Anthony J. Bentley wrote:
> > Hi Alessandro,
> >
> > Alessandro DE LAURENZIS writes:
> > > All tests are PASS, provided that we use gdiff(1) instead of diff(1) for
>
Hello,
On 22/03/2019 10:27, Alessandro DE LAURENZIS wrote:
Hello Anthony,
thanks a lot for your feedback.
On 22/03/2019 06:16, Anthony J. Bentley wrote:
Hi Alessandro,
Alessandro DE LAURENZIS writes:
All tests are PASS, provided that we use gdiff(1) instead of diff(1) for
the dddmp set.
Hello Anthony,
thanks a lot for your feedback.
On 22/03/2019 06:16, Anthony J. Bentley wrote:
Hi Alessandro,
Alessandro DE LAURENZIS writes:
All tests are PASS, provided that we use gdiff(1) instead of diff(1) for
the dddmp set.
Careful...
-# Store corresponding CNF in different format:
Hi Alessandro,
Alessandro DE LAURENZIS writes:
> All tests are PASS, provided that we use gdiff(1) instead of diff(1) for
> the dddmp set.
Careful...
-# Store corresponding CNF in different format:
+# Store corresponding CNF in gdifferent format:
# NodeByNode method -> file
Dear ports@ readers,
this is a proposal for a new port: CUDD, the Colorado University
Decision Diagram.
DESCR
=
CUDD (Colorado University Decision Diagram) is a package written in C
for the manipulation of decision diagrams. It supports binary decision
diagrams (BDDs), algebraic
