Daniel Bryce issues

Repositories
Issues
Comments

Results 2 issues of


                                            Daniel Bryce

Networks of Automata fixes and visualization, and MCTS search improvements

Thanks for making contributions to dReal! Before opening a pull-request, please check the following things: - [x] Run `make` and check the code compiles. Please try both of gcc and...

XSB Segfault after atom insertion and query

**Describe the bug** I have reproduced a Segfault (in XSB) by two different methods: 1) ErgoAI Java UI, and 2) pyergo python bindings. Both cases involve loading several statements, followed...