ethanluoyc/sympais-v0.0.1.zip
ethanluoyc-sympais-6f2461b
.dockerignore
2.1 kB
.flake8
335 Bytes
.gitattributes
139 Bytes
.github
dependabot.yaml
187 Bytes
workflows
ci.yaml
2.4 kB
.gitignore
2.1 kB
.gitmodules
126 Bytes
.pre-commit-config.yaml
839 Bytes
.pylintrc
14.7 kB
.style.yapf
88 Bytes
Dockerfile
1.3 kB
INSTALL.md
91 Bytes
LICENSE
1.1 kB
Makefile
231 Bytes
README.md
14.2 kB
REQUIREMENTS.md
91 Bytes
examples
run_sphere_3_dmc.py
297 Bytes
run_sphere_3_sympais.py
625 Bytes
figures
overview.svg
22.2 kB
pimais_demo.svg
735.1 kB
notebooks
README.md
1.7 kB
getting_started.ipynb
20.0 kB
pimais.ipynb
17.7 kB
results.ipynb
35.2 kB
torus_demo.ipynb
64.5 kB
utils.py
1.6 kB
poetry.lock
59.2 kB
pyproject.toml
943 Bytes
pytype.cfg
1.8 kB
scripts
2021-05-22_acasxu.sh
1.3 kB
2021-05-22_coral.sh
1.5 kB
2021-05-22_spheres.sh
1.3 kB
2021-05-22_torus.sh
2.4 kB
run_all.sh
213 Bytes
setup.py
67 Bytes
src
sympais
__init__.py
0 Bytes
algorithm.py
5.9 kB
algorithm_test.py
490 Bytes
constraint.py
2.7 kB
distributions.py
7.1 kB
experimental
__init__.py
44 Bytes
smt.py
6.6 kB
smt_test.py
625 Bytes
experiments
conf
config.yaml
206 Bytes
method
dmc.yaml
45 Bytes
hpimais.yaml
194 Bytes
pimais.yaml
193 Bytes
stratified.yaml
52 Bytes
task
acasxu.yaml
45 Bytes
coral.yaml
72 Bytes
sphere.yaml
37 Bytes
torus.yaml
68 Bytes
vinci.yaml
68 Bytes
run.py
2.5 kB
infer
__init__.py
0 Bytes
importance.py
6.5 kB
importance_test.py
4.1 kB
mcmc
__init__.py
210 Bytes
adaptation.py
1.9 kB
hmc.py
4.8 kB
hmc_test.py
556 Bytes
metropolis.py
1.7 kB
mcmc_test.py
1.3 kB
utils.py
2.1 kB
initializer.py
6.1 kB
jax_printer.py
14.9 kB
logger.py
1.0 kB
methods
__init__.py
140 Bytes
dmc.py
2.1 kB
importance.py
17.4 kB
methods_test.py
1.5 kB
stratified.py
5.9 kB
profiles.py
2.1 kB
profiles_test.py
333 Bytes
realpaver
__init__.py
0 Bytes
interval_propagation.py
2.8 kB
parsetab.py
11.5 kB
realpaver_api.py
10.9 kB
realpaver_solver.py
3.3 kB
solver_test.py
1.5 kB
tasks
README.md
3.0 kB
__init__.py
177 Bytes
acasxu.py
4.0 kB
base.py
1.1 kB
coral.py
5.0 kB
cube.py
717 Bytes
sphere.py
1.0 kB
subjects
README
2.4 kB
exponential
apollo.nodeq-exponential.m
3.4 MB
conflict.nodeq-exponential.m
17.0 kB
example-carton-5-0-exponential.m
928.0 kB
example-carton-5-1-exponential.m
682.5 kB
example-carton-5-18-exponential.m
835.4 kB
example-carton-5-2-exponential.m
696.0 kB
example-carton-5-20-exponential.m
910.2 kB
example-carton-5-22-exponential.m
1.0 MB
example-carton-5-5-exponential.m
46.3 kB
example-ckd-epi-0-exponential.m
31.3 kB
example-ckd-epi-1-exponential.m
24.5 kB
example-ckd-epi-simple-0-exponential.m
9.6 kB
example-ckd-epi-simple-1-exponential.m
5.9 kB
framingham-0-exponential.m
98.1 kB
framingham-1-exponential.m
92.2 kB
framingham-2-exponential.m
3.6 MB
framingham-hypten-0-exponential.m
10.4 kB
framingham-hypten-3-exponential.m
1.7 kB
turn.nodeq-exponential.m
73.5 kB
montecarlo
apollo.nodeq-montecarlo.m
3.5 MB
conflict.nodeq-montecarlo.m
17.9 kB
example-cart-12-montecarlo.m
63.4 kB
example-cart-14-montecarlo.m
68.0 kB
example-carton-5-0-montecarlo.m
1.1 MB
example-carton-5-1-montecarlo.m
786.0 kB
example-carton-5-18-montecarlo.m
955.7 kB
example-carton-5-2-montecarlo.m
799.5 kB
example-carton-5-20-montecarlo.m
1.0 MB
example-carton-5-22-montecarlo.m
1.2 MB
example-carton-5-5-montecarlo.m
52.8 kB
example-ckd-epi-0-montecarlo.m
35.4 kB
example-ckd-epi-1-montecarlo.m
27.1 kB
example-ckd-epi-simple-0-montecarlo.m
10.6 kB
example-ckd-epi-simple-1-montecarlo.m
6.6 kB
example-invPend-0-montecarlo.m
4.8 kB
framingham-0-montecarlo.m
98.0 kB
framingham-1-montecarlo.m
94.9 kB
framingham-2-montecarlo.m
3.8 MB
framingham-hypten-0-montecarlo.m
10.7 kB
framingham-hypten-3-montecarlo.m
1.8 kB
turn.nodeq-montecarlo.m
76.9 kB
normal
apollo.nodeq.m
3.4 MB
conflict.nodeq.m
17.5 kB
example-cart-12.m
62.4 kB
example-cart-14.m
66.9 kB
example-carton-5-0.m
1.0 MB
example-carton-5-1.m
766.7 kB
example-carton-5-18.m
932.8 kB
example-carton-5-2.m
781.1 kB
example-carton-5-20.m
1.0 MB
example-carton-5-22.m
1.1 MB
example-carton-5-5.m
51.8 kB
example-ckd-epi-0.m
34.5 kB
example-ckd-epi-1.m
26.4 kB
example-ckd-epi-simple-0.m
10.3 kB
example-ckd-epi-simple-1.m
6.4 kB
example-invPend-0.m
4.8 kB
framingham-0.m
95.2 kB
framingham-1.m
93.6 kB
framingham-2.m
3.7 MB
framingham-hypten-0.m
10.6 kB
framingham-hypten-3.m
1.7 kB
turn.nodeq.m
75.1 kB
out
framingham-0.m.out
0 Bytes
runMath.sh
499 Bytes
twonormal
apollo.nodeq.twonormal.m
3.5 MB
conflict.nodeq.twonormal.m
17.5 kB
example-cart-12-twonormal.m
58.6 kB
example-cart-14-twonormal.m
62.9 kB
example-carton-5-0-twonormal.m
964.3 kB
example-carton-5-1-twonormal.m
709.1 kB
example-carton-5-18-twonormal.m
866.5 kB
example-carton-5-2-twonormal.m
722.2 kB
example-carton-5-20-twonormal.m
943.9 kB
example-carton-5-22-twonormal.m
1.0 MB
example-carton-5-5-twonormal.m
47.9 kB
example-ckd-epi-0-twonormal.m
32.7 kB
example-ckd-epi-1-twonormal.m
25.0 kB
example-ckd-epi-simple-0-twonormal.m
9.6 kB
example-ckd-epi-simple-1-twonormal.m
5.9 kB
example-invPend-0-twonormal.m
4.6 kB
example-vol-16-twonormal.m
0 Bytes
framingham-0-twonormal.m
90.0 kB
framingham-1-twonormal.m
89.1 kB
framingham-2-twonormal.m
3.5 MB
framingham-hypten-0-twonormal.m
10.0 kB
framingham-hypten-3-twonormal.m
1.6 kB
turn.nodeq.twonormal.m
75.5 kB
torus.py
2.2 kB
vinci.py
3.4 kB
vinci_inputs
cc
cc_8_10.ext
3.3 kB
cc_8_10.ine
1.6 kB
cc_8_11.ext
4.0 kB
cc_8_11.ine
2.1 kB
cc_8_5.ext
813 Bytes
cc_8_5.ine
271 Bytes
cc_8_6.ext
1.2 kB
cc_8_6.ine
431 Bytes
cc_8_7.ext
1.5 kB
cc_8_7.ine
664 Bytes
cc_8_8.ext
2.1 kB
cc_8_8.ine
896 Bytes
cc_8_9.ext
2.6 kB
cc_8_9.ine
1.3 kB
ccp
ccp_5.ext
582 Bytes
ccp_5.ine
1.5 kB
ccp_6.ext
1.6 kB
ccp_6.ine
18.1 kB
ccp_7.ext
4.4 kB
ccp_7.ine
7.8 MB
cross
cross_10.ext
763 Bytes
cross_10.ine
34.9 kB
cross_11.ext
897 Bytes
cross_11.ine
62.5 kB
cross_12.ext
1.0 kB
cross_12.ine
163.9 kB
cross_13.ext
1.2 kB
cross_13.ine
290.9 kB
cross_14.ext
952 Bytes
cross_14.ine
622.7 kB
cross_2.ext
108 Bytes
cross_2.ine
101 Bytes
cross_3.ext
152 Bytes
cross_3.ine
153 Bytes
cross_4.ext
212 Bytes
cross_4.ine
278 Bytes
cross_5.ext
272 Bytes
cross_5.ine
691 Bytes
cross_6.ext
346 Bytes
cross_6.ine
1.5 kB
cross_7.ext
432 Bytes
cross_7.ine
3.3 kB
cross_8.ext
530 Bytes
cross_8.ine
7.3 kB
cross_9.ext
640 Bytes
cross_9.ine
16.0 kB
cube
cube_10.ext
32.8 kB
cube_10.ine
763 Bytes
cube_11.ext
71.8 kB
cube_11.ine
897 Bytes
cube_12.ext
155.7 kB
cube_12.ine
1.0 kB
cube_13.ext
290.9 kB
cube_13.ine
1.2 kB
cube_14.ext
622.7 kB
cube_14.ine
952 Bytes
cube_2.ext
97 Bytes
cube_2.ine
122 Bytes
cube_3.ext
151 Bytes
cube_3.ine
148 Bytes
cube_4.ext
276 Bytes
cube_4.ine
199 Bytes
cube_5.ext
643 Bytes
cube_5.ine
272 Bytes
cube_6.ext
1.2 kB
cube_6.ine
346 Bytes
cube_7.ext
2.7 kB
cube_7.ine
432 Bytes
cube_8.ext
6.0 kB
cube_8.ine
530 Bytes
cube_9.ext
14.9 kB
cube_9.ine
640 Bytes
metric
Fm_4.ext
233 Bytes
Fm_4.ine
187 Bytes
Fm_5.ext
658 Bytes
Fm_5.ine
682 Bytes
Fm_6.ext
8.8 kB
Fm_6.ine
2.1 kB
rh
rh_10_20.ext
1.3 MB
rh_10_20.ine
1.4 kB
rh_10_25.ext
4.5 MB
rh_10_25.ine
1.7 kB
rh_10_30.ext
10.4 MB
rh_10_30.ine
2.1 kB
rh_8_20.ext
418.0 kB
rh_8_20.ine
1.0 kB
rh_8_25.ext
980.8 kB
rh_8_25.ine
1.2 kB
rh_8_30.ext
1.7 MB
rh_8_30.ine
1.7 kB
rv
rv_10_12.ext
840 Bytes
rv_10_12.ine
18.3 kB
rv_10_13.ext
904 Bytes
rv_10_13.ine
46.5 kB
rv_10_14.ext
968 Bytes
rv_10_14.ine
92.4 kB
rv_8_10.ext
590 Bytes
rv_8_10.ine
8.2 kB
rv_8_11.ext
642 Bytes
rv_8_11.ine
17.5 kB
rv_8_12.ext
694 Bytes
rv_8_12.ine
31.0 kB
rv_8_13.ext
746 Bytes
rv_8_13.ine
44.1 kB
rv_8_14.ext
798 Bytes
rv_8_14.ine
72.3 kB
rv_8_20.ext
950 Bytes
rv_8_20.ine
397.8 kB
rv_8_30.ext
1.4 kB
rv_8_30.ine
1.5 MB
types.py
470 Bytes
z3_solver.py
4.9 kB
third_party
Marabou
README.md
51 Bytes
Realpaver
build.sh
198 Bytes