Merge ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap

2018-05-22 00:27:54 +01:00
parent b7a97a5b19 03d8a64543
commit 27b540b72b
22 changed files with 590 additions and 819 deletions
--- a/docs/md/packages.md
+++ b/docs/md/packages.md
@@ -1,20 +1,20 @@
 YAP packages              {#packages}
 ============

-  + @subpage realmd
+  + @ref real

-  + @subpage BDDs
+  + @subpage BDDs 

  + @subpage  gecode

-  + @subpage  myddas
+  + @ref  myddas

  + @ref PFL

  + @subpage ProbLog1

-  + @ref Python
-x
+  + @ref python
+
  + @subpage raptor

  + @ref YAP-LBFGS