SteffenMichels IHPMC issues

SteffenMichels / IHPMC

Interative Hybrid Probabilistic Model Counting (IHPMC) is a probabilistic inference algorithm, which offers inference for hybrid models with bounded error.

http://www.steffen-michels.de/ihpmc/

MIT License

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

introduce Time type for runtimes

#14 SteffenMichels opened 7 years ago
0
online interface: handle all errors properly

#13 SteffenMichels opened 7 years ago
0
Pfs as args

#12 SteffenMichels closed 7 years ago
0
make AST preprocessor work for PFs used as args in combination with variables

#11 SteffenMichels opened 7 years ago
0
Add support for more continuous distributions

#10 SteffenMichels opened 7 years ago
0
allow PFs as args of predicates and other PFs

#9 SteffenMichels opened 7 years ago
1
extend tests for object distributions

#8 SteffenMichels opened 7 years ago
0
make project pass 'cabal check' & integrate in CI

#7 SteffenMichels opened 7 years ago
0
introduce a type for objects instead of using Integer

#6 SteffenMichels opened 7 years ago
0
some exceptions are not printed properly

#5 SteffenMichels opened 7 years ago
0
get rid of all Show/Strings

#4 SteffenMichels opened 7 years ago
0
simplify equality of string PFs with disjoint choices

#3 SteffenMichels opened 7 years ago
0
more checks of distribution definitions

#2 SteffenMichels opened 7 years ago
0
More powerful arithmetic constraint checking during grounding

#1 SteffenMichels opened 7 years ago
0