Reported by Daniel Borrajo on Mac (Darwin Kernel Version 8.10.1). The
./cudd directory should not be included in the include and library path
search path for mdpsim and mdpclient.
Original issue reported on code.google.com by hlsyou...@gmail.com on 12 Oct 2007 at 4:47
Original issue reported on code.google.com by
hlsyou...@gmail.com
on 12 Oct 2007 at 4:47