This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/docs/md/packages.md

29 lines
345 B
Markdown
Raw Normal View History

2017-05-02 07:42:21 +01:00
YAP packages {#packages}
============
2016-12-10 09:13:43 +00:00
2017-05-19 09:54:35 +01:00
+ @subpage realxplxc
2016-12-10 09:13:43 +00:00
2017-05-02 07:42:21 +01:00
+ @subpage BDDs
2016-12-10 09:13:43 +00:00
2017-04-13 21:42:34 +01:00
+ @subpage gecode
2016-12-10 09:13:43 +00:00
2017-06-26 01:17:51 +01:00
+ @subpage myddas
2016-12-10 09:13:43 +00:00
2017-04-13 21:42:34 +01:00
+ @ref PFL
2016-12-10 09:13:43 +00:00
2017-04-13 21:42:34 +01:00
+ @subpage ProbLog1
2016-12-10 09:13:43 +00:00
2017-04-13 21:42:34 +01:00
+ @ref Python
2016-12-10 09:13:43 +00:00
2017-04-13 21:42:34 +01:00
+ @subpage raptor
2016-12-10 09:13:43 +00:00
2017-04-13 21:42:34 +01:00
+ @ref YAP-LBFGS
2016-12-10 09:13:43 +00:00
2017-04-13 21:42:34 +01:00
+ @subpage yap-udi-indexers
2016-12-10 09:13:43 +00:00
2017-04-13 21:42:34 +01:00
Leuven packages ported from SWI-Prolog:
+ @subpage chr
+ @subpage clpqr