Add the optas optional package

optas = Optimal Approximate Sampling from Discrete Probability Distributions.
sagemath · Sep 19, 2022 · 8392936 · 8392936
1 parent b00b065
commit 8392936
Show file tree

Hide file tree

Showing 7 changed files with 36 additions and 0 deletions.
diff --git a/build/pkgs/optas/SPKG.rst b/build/pkgs/optas/SPKG.rst
@@ -0,0 +1,23 @@
+optas: Optimal Approximate Sampling from Discrete Probability Distributions.
+============================================================================
+
+Description
+-----------
+
+This package provides a prototype implementation of the optimal sampling
+algorithms from:
+
+Feras A. Saad, Cameron E. Freer, Martin C. Rinard, and Vikash K. Mansinghka.
+Optimal Approximate Sampling From Discrete Probability Distributions. Proc. ACM
+Program. Lang. 4, POPL, Article 36 (January 2020), 33 pages.
+
+License
+-------
+
+Apache License, Version 2.0
+
+Upstream Contact
+----------------
+
+https://pypi.org/project/optas/
+https://github.com/probcomp/optimal-approximate-sampling
diff --git a/build/pkgs/optas/checksums.ini b/build/pkgs/optas/checksums.ini
@@ -0,0 +1,5 @@
+tarball=optas-VERSION.tar.gz
+sha1=fc110a1df8fec24c6fda806955841860ecde8875
+md5=d3ee94398986e870208f212012e48b61
+cksum=775882310
+upstream_url=https://pypi.io/packages/source/o/optas/optas-VERSION.tar.gz
diff --git a/build/pkgs/optas/dependencies b/build/pkgs/optas/dependencies
@@ -0,0 +1,4 @@
+$(PYTHON) | $(PYTHON_TOOLCHAIN) gcc
+
+----------
+All lines of this file are ignored except the first.
diff --git a/build/pkgs/optas/install-requires.txt b/build/pkgs/optas/install-requires.txt
@@ -0,0 +1 @@
+optas
diff --git a/build/pkgs/optas/package-version.txt b/build/pkgs/optas/package-version.txt
@@ -0,0 +1 @@
+1.0.3
diff --git a/build/pkgs/optas/spkg-install.in b/build/pkgs/optas/spkg-install.in
@@ -0,0 +1 @@
+cd src && sdh_pip_install .
diff --git a/build/pkgs/optas/type b/build/pkgs/optas/type
@@ -0,0 +1 @@
+optional