Fabricio Olivetti de Franca

game_over() set to True when Mario gets a Mushroom in Super Mario World

6

Whenever Mario hits a mushroom (and possibly any other item) the game returns True to game_over().

Numerical precision problem in the outputted expression

1

Running some experiments with SBP using this dataset: [Pagie.csv](https://github.com/marcovirgolin/GP-GOMEA/files/10056213/Pagie.csv) And by running this script: ```python from pyGPGOMEA import GPGOMEARegressor as GPG def standardNotation(expr): expr = (expr.replace("X0", "x0") .replace("X1", "x1") .replace("X2",...

Is it possible to write a `equalitySaturationWithTrace`?

7

Hi, Thank you very much for this amazing library! I was wondering if it is possible to write a `equalitySaturationWithTrace` function that returns the sequence of rewrite rules used to...

ImportError: libmpi.so.12: cannot open shared object file: No such file or directory

2

Hi, I have installed Bingo with the following steps: ```bash conda create -n bingo python=3.8 conda activate bingo conda install --channel conda-forge --file requirements.txt ./.build_bingocpp.sh pip install . ``` The...

this will ensure compatibility with the stack nightly

Update README.md

4

added a tips section to the README on how to set the hyper-parameters from a recent experience running PySR with multiple datasets. Feel free to make editions or reject the...

Hi, Does PhySO supports a `max_time` argument of sorts in which it will run for an allotted amount of time instead of number of iterations?

Hi, I'm trying to run some new experiments with TPSR and I'm having a problem when running pip: ``` ERROR: Could not find a version that satisfies the requirement functorch==0.1.0...