yap binary package in Ubuntu Trusty i386
High-performance Prolog compiler developed at LIACC/Universidade
do Porto and at COPPE Sistemas/UFRJ. The YAP Prolog engine is based in the
Warren Abstract Machine, with several optimizations for better
performance. YAP follows the Edinburgh tradition, and is largely
compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
.
YAP features a constraint solver over real numbers, and support for
constraint handling rules (CHR).
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2013-11-24 21:03:16 UTC | Published | Ubuntu Trusty i386 | release | universe | devel | Extra | 6.2.2-2 | ||
|
|||||||||
Deleted | Ubuntu Trusty i386 | proposed | universe | devel | Extra | 6.2.2-2 | |||
|
|||||||||
2013-11-24 21:03:31 UTC | Superseded | Ubuntu Trusty i386 | release | universe | devel | Extra | 6.2.2-1ubuntu1 | ||
|
|||||||||
2013-11-26 00:10:11 UTC | Deleted | Ubuntu Trusty i386 | proposed | universe | devel | Extra | 6.2.2-1ubuntu1 | ||
|
|||||||||
2013-11-22 18:04:19 UTC | Superseded | Ubuntu Trusty i386 | proposed | universe | devel | Extra | 6.2.2-1 | ||
|
|||||||||
2013-11-22 20:18:34 UTC | Superseded | Ubuntu Trusty i386 | release | universe | devel | Extra | 5.1.3-6 | ||
|