.gitignore
.gitmodules
Doxyfile
LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
.github/workflows/docs.yml
.github/workflows/publish.yml
.github/workflows/tests.yml
bitvector/.git
bitvector/.gitignore
bitvector/LICENSE
bitvector/Makefile
bitvector/README.md
bitvector/bitvector.c
bitvector/bitvector.h
bitvector/tests.c
docs/copy.js
docs/generate_examples.sh
docs/header.html
docs/layout.xml
docs/mode.js
docs/parlink.js
docs/sidebar-toggle.css
docs/sidebar.css
docs/theme.css
docs/pages/0_main.md
docs/pages/1_program.md
docs/pages/2_grammar.md
docs/pages/3_ground.md
docs/pages/4_exact.md
docs/pages/5_sample.md
docs/pages/6_learn.md
docs/pages/7_tests.md
docs/user/module.html.jinja2
docs/user/syntax-highlighting.css
examples/3coloring.plp
examples/add_mnist.plp
examples/asia.plp
examples/barber.plp
examples/earthquake.plp
examples/earthquake_ad.plp
examples/even_mult.plp
examples/fault_tree.plp
examples/game.plp
examples/insomnia.plp
examples/insomnia_ad.plp
examples/latin.plp
examples/mnist.plp
examples/multinsomnia.plp
examples/neural_ad_minimal.plp
examples/neural_minimal.plp
examples/neural_mult_ad_minimal.plp
examples/neural_mult_minimal.plp
examples/neural_xor.plp
examples/prisoners.plp
examples/rain_utility.plp
examples/simple.plp
examples/simpler.plp
examples/smokers.plp
experiments/add_mnist.py
hub/hubconf.py
logo/logo.png
logo/logo.svg
pasp/__init__.py
pasp/app.py
pasp/approx.c
pasp/capprox.c
pasp/capprox.h
pasp/carray.c
pasp/carray.h
pasp/caseo.c
pasp/caseo.h
pasp/ccounter.c
pasp/ccounter.h
pasp/cdata.c
pasp/cdata.h
pasp/cexact.c
pasp/cexact.h
pasp/cground.c
pasp/cground.h
pasp/cinf.c
pasp/cinf.h
pasp/clearn.c
pasp/clearn.h
pasp/cmap.c
pasp/cmap.h
pasp/cmodels.c
pasp/cmodels.h
pasp/coptimize.c
pasp/coptimize.h
pasp/cprogram.c
pasp/cprogram.h
pasp/csample.c
pasp/csample.h
pasp/cstorage.c
pasp/cstorage.h
pasp/ctree.c
pasp/ctree.h
pasp/cutils.c
pasp/cutils.h
pasp/exact.c
pasp/gpu_optimize.py
pasp/grammar.lark
pasp/grammar.py
pasp/ground.c
pasp/learn.c
pasp/program.py
pasp/sample.c
pasp/wlearn.py
pasp_plp_uas.egg-info/PKG-INFO
pasp_plp_uas.egg-info/SOURCES.txt
pasp_plp_uas.egg-info/dependency_links.txt
pasp_plp_uas.egg-info/entry_points.txt
pasp_plp_uas.egg-info/requires.txt
pasp_plp_uas.egg-info/top_level.txt
progressbar/LICENSE
progressbar/progressbar.c
progressbar/progressbar.h
progressbar/statusbar.c
progressbar/statusbar.h
tests/__init__.py
tests/approx.py
tests/counting.py
tests/examples.py
tests/learning.py
tests/sampling.py
tests/single.py
tests/utils.py
thpool/LICENSE
thpool/thpool.c
thpool/thpool.h