From d87bb830cdbf2a9c36e6821a9457a49f4d86b2bb Mon Sep 17 00:00:00 2001 From: Fabrizio Riguzzi Date: Fri, 12 Jul 2013 15:03:37 +0200 Subject: [PATCH] simplecudd link --- packages/cplint/doc/manual.html | 8 ++++---- packages/cplint/doc/manual.pdf | Bin 220487 -> 220484 bytes packages/cplint/doc/manual.tex | 6 +++--- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/packages/cplint/doc/manual.html b/packages/cplint/doc/manual.html index be84d3496..3819e6177 100644 --- a/packages/cplint/doc/manual.html +++ b/packages/cplint/doc/manual.html @@ -7,7 +7,7 @@ - + @@ -244,7 +244,7 @@ href="#XRig11-CILC11-NC">17] class="cmtt-10">approx/exact.pl as lpadsld.pl but uses SimplecuddLPADs, a modification of the Simplecudd instead of the Simplecudd instead of the cplint library for building BDDs and computing the probability.

These modules answer queries using the definition of the semantics of LPADs and @@ -505,7 +505,7 @@ class="cmtt-10">X=1,X1=0 and variable X2 corresponds to clause 1 with the empty substitution. You can view the graph with graphviz using the command @@ -1284,7 +1284,7 @@ class="cmtt-10">cplint, as Yap, follows the Artistic License 2.0 that you dir. The copyright is by Fabrizio Riguzzi.

The modules in the approx subdirectory use SimplecuddLPADs, a modification of the Simplecudd library whose copyright is by Katholieke Universiteit Leuven and +href="http://dtai.cs.kuleuven.be/problog/download.html" > Simplecudd library whose copyright is by Katholieke Universiteit Leuven and that follows the Artistic License 2.0.

Some modules use the library CUDD for manipulating BDDs that is included in diff --git a/packages/cplint/doc/manual.pdf b/packages/cplint/doc/manual.pdf index 3f963b1f85747a9f8ed957fb979943e10dbf5d0b..a5f6af39163b1dca7a890c8ae879c6f1c640a85b 100644 GIT binary patch delta 4195 zcma)9O>3Q15GJ|c;!0O)*H^H%A|`WY=6pqoG@q^721FD@!L+#%F(f5T)!n-gbmykv z`vZio#19Hy=vol`0fK+Pt-GvT_`J!zH@Pzb?Iv{IbI!~>GtV<~e|vK2*C&^LIu0-F z9BqHHaQFVgrw{gq4?Y|2FWea}-a9y^>mXk|42&o|d1vFOXhSBb8^)L*=Hu(P&(G#p%8TVe`AIdC{R z((Z2bew^d>@@DV$d@SwmW^W7s{bjSabeZyix_^WHLBIRUA&BPosT;jlpJVrlCAIH% zpQ`&5a%>-UpZtSVN_%_*&O&h4h(fz@^CD+dIk(^5#I;KH8WrO9ukKrPPg3U6rZ@0p zao3WD_N(rbOO0a6?H}DIaksSc=*2gCug?u_AXI}`D5%tGF`%NH%)3;x10P7m*#7=j z?`~tlpr}FP>=P7Y6_bBwt0p_x3YjoFTQ=zsWeVfa+wX7n?ky*Ci&2zfJi?~zYz5sn zdjEFs?Ya3>+8?%hON|Ymsc>SPIu4PGeGu#|riXAhfumo*;u_g@u!ux!ivsbmXr-w%P5Vev z$S#;9K9Lkd8Fc(RM;%Ei+ZszMR?bP#{0^-glF1I|q7OQjGYx1?2P`0rPAnt~TSh>n z9Q+a8ZyiTUY!d~Y2&ByfmSmetL-r`3sqKSO)yb{oGl+iV7CsVVO z#aqyU_Hk=esb;B+-< yE-SjaN?|pxuW=3QYbh-cUi;4@9}bq6`}dEw50Ab$9PakvGBfwDTv^}R=>H1?4@bTL delta 4122 zcma)9O>3Q15GHvM;YvX)7Tm~HDJp^H%$b?aKDc-4;k{G8 z{zG@#m!Ev$i-Yaa!Pldk=WdJ^zuW(Ow6nOsv$MUoxVQD?SKFh_gHP{17oU3Z?!whS zZv4OVw-(0VFO28L3*-5xZ$BYQ9J@DGo98G0-CS*cnbYp{T61MSQMb9)tam?NYM$vH ztTnHmp*Rfvzv0c{p#K|*SVPxbYF>LbyHAm8w{h|(%BB0M|D^6#sMP&^sX2cpRR1kV zw{jWRg8dXKhwjd0Tr0(WD?z)z`fuW%44J9pxAA0h*OEwgtN-MJ44Omt`^mSY>iDI1 zn%Cz>Y+giWVgU@bhqK4>F{q(Pw1I}2$)77)x`*#Jn#Da^lO1fu z*15N3?ry)={IHyT3bB}XW2h3Htz^>ihgX^p=H~I(&+E<-#r)&e_l(@3BLc6j4tHcn)PJ&C!;MG#2ZGK=AwT zH>cYaEI?E=nyLgUY{>>!MQn})lLal3kOenVs)u2=kC}@8kJ$o5B?VJ@oYQQBj-uHH z6NMc`BcXk#K!bk>kBAz_kpkHk2{D!IvP;PU9wilvU`$zNs@40g(pqA}h`6UBJPa_^ z z(AP7oBOybj|J*?5YPDSC%+baKC2|x~@ZH9wA-Sq*5ZB=vG`P-%(KUup_KDY&9L1^> zpGdMZD?kA2G>;EE7h3MRN=T2iWlCDOX0??TLZ{7A0$m?xH5K#(SjkdMB)4KN<6w1d zFCx)q42zYU{%*7=C|Ab_Nyi;N)wzI6|aIrtT0&?2Ln*!ckdlXLB( z&Q**fSGz=hu%}#|lZ?q_k--QzD4@TJnc=`+v#&dbvcFvYEK{_db6ovSmmo|wxdg4? z)-b2hsIf>>lquRg{{RqVqPTRZvH0Dfe(~Ob5(5<~9V8Z53d1nug5*bv2HO>g=%Zf8xdHMK_|=rtbF2f`i45 zfQY5l|K{T8oiJN)aaV0&V9Rz