inpefess/gym-saturation issues and pull requests

#122 - Maintenance

Pull Request - State: closed - Opened by inpefess 4 months ago - 1 comment

#121 - Maintenance

Pull Request - State: closed - Opened by inpefess 5 months ago

#120 - Maintenance

Pull Request - State: closed - Opened by inpefess 6 months ago - 1 comment

#119 - Maintenance

Pull Request - State: closed - Opened by inpefess 7 months ago - 1 comment

#118 - Maintenance

Pull Request - State: closed - Opened by inpefess 9 months ago - 1 comment

#117 - Mainetnance

Pull Request - State: closed - Opened by inpefess 10 months ago - 1 comment

#116 - Maintenance

Pull Request - State: closed - Opened by inpefess 11 months ago - 1 comment

#115 - Vampair

Pull Request - State: closed - Opened by inpefess 12 months ago - 1 comment

#114 - Drop action mask

Pull Request - State: closed - Opened by inpefess about 1 year ago - 1 comment

#113 - Update examples

Pull Request - State: closed - Opened by inpefess about 1 year ago - 1 comment

#112 - Update iprover

Pull Request - State: closed - Opened by inpefess about 1 year ago - 1 comment

#111 - Add an exmaple with transformers

Issue - State: closed - Opened by inpefess about 1 year ago
Labels: documentation

#110 - Better readme

Pull Request - State: closed - Opened by inpefess about 1 year ago - 1 comment

#109 - Development guide

Pull Request - State: closed - Opened by inpefess over 1 year ago - 1 comment

#108 - Development guide

Issue - State: closed - Opened by inpefess over 1 year ago
Labels: documentation

#107 - maintenance

Pull Request - State: closed - Opened by inpefess over 1 year ago - 1 comment

#106 - update iProver

Pull Request - State: closed - Opened by inpefess over 1 year ago

#105 - truncation

Pull Request - State: closed - Opened by inpefess over 1 year ago

#104 - Update experiments

Pull Request - State: closed - Opened by inpefess over 1 year ago

#103 - Add tutorial

Pull Request - State: closed - Opened by inpefess over 1 year ago

#102 - Reformat doc

Pull Request - State: closed - Opened by inpefess over 1 year ago - 1 comment

#101 - Add tutorials

Issue - State: closed - Opened by inpefess over 1 year ago
Labels: documentation

#100 - Apply Gymnasium style to documentation pages

Issue - State: closed - Opened by inpefess over 1 year ago
Labels: documentation

#99 - Maintenance

Pull Request - State: closed - Opened by inpefess over 1 year ago

#98 - Feature Request: migrate from gym to gymnasium

Issue - State: closed - Opened by elliottower over 1 year ago - 8 comments

#97 - More examples

Pull Request - State: closed - Opened by inpefess over 1 year ago - 1 comment

#96 - Wrappers

Pull Request - State: closed - Opened by inpefess over 1 year ago

#95 - Migrate to newer iProver version

Issue - State: closed - Opened by inpefess over 1 year ago
Labels: enhancement

#94 - Update examples

Pull Request - State: closed - Opened by inpefess over 1 year ago - 1 comment

#93 - Maintenance

Pull Request - State: closed - Opened by inpefess over 1 year ago

#92 - Maintenance

Pull Request - State: closed - Opened by inpefess over 1 year ago - 1 comment

#91 - Add curriculum learning

Pull Request - State: closed - Opened by inpefess almost 2 years ago

#90 - Better readme

Pull Request - State: closed - Opened by inpefess almost 2 years ago - 1 comment

#89 - Add goals

Pull Request - State: closed - Opened by inpefess almost 2 years ago - 1 comment

#88 - Coverage 90%

Issue - State: closed - Opened by inpefess almost 2 years ago
Labels: enhancement

#87 - Coverage 80%

Issue - State: closed - Opened by inpefess almost 2 years ago
Labels: enhancement

#86 - Coverage 70%

Issue - State: closed - Opened by inpefess almost 2 years ago
Labels: enhancement

#85 - Add iprover

Pull Request - State: closed - Opened by inpefess almost 2 years ago

#84 - Only vampire

Pull Request - State: closed - Opened by inpefess almost 2 years ago

#83 - Maintenance

Pull Request - State: closed - Opened by inpefess about 2 years ago - 1 comment

#82 - Faster parser

Pull Request - State: closed - Opened by inpefess about 2 years ago

#81 - Bugfixes

Pull Request - State: closed - Opened by inpefess about 2 years ago - 1 comment

#80 - Downgrade gym

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#79 - Don't disable env checker

Issue - State: closed - Opened by inpefess over 2 years ago - 4 comments

#78 - Catch up with parser

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#77 - New grammar

Pull Request - State: closed - Opened by inpefess over 2 years ago

#76 - Automate PyPI releases

Issue - State: open - Opened by inpefess over 2 years ago
Labels: enhancement

#75 - Use bumpversion

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: enhancement

#74 - Use pytest-regressions

Issue - State: open - Opened by inpefess over 2 years ago
Labels: enhancement

#73 - Use pydocstyle

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: documentation

#72 - Better collaboration guide

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: documentation

#71 - Test on macOS

Issue - State: open - Opened by inpefess over 2 years ago
Labels: enhancement

#70 - Add AppVeyor

Issue - State: open - Opened by inpefess over 2 years ago - 1 comment
Labels: enhancement

#69 - Use tox

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: enhancement

#68 - Better README

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: documentation

#67 - Relax version

Pull Request - State: closed - Opened by inpefess over 2 years ago

#66 - Move parse to another package

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#65 - Add E Prover as a backend

Issue - State: open - Opened by inpefess over 2 years ago
Labels: enhancement

#64 - Maintenance

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#63 - Better testing

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#62 - Better doc

Pull Request - State: closed - Opened by inpefess over 2 years ago

#61 - Another bug fix

Pull Request - State: closed - Opened by inpefess over 2 years ago

#60 - Bug fix

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#59 - Update documentation

Pull Request - State: closed - Opened by inpefess over 2 years ago

#58 - Add vampire

Pull Request - State: closed - Opened by inpefess over 2 years ago

#57 - Api change

Pull Request - State: closed - Opened by inpefess over 2 years ago

#56 - Add problem name

Pull Request - State: closed - Opened by inpefess over 2 years ago

#55 - Maintenance

Pull Request - State: closed - Opened by inpefess over 2 years ago

#54 - Joss paper

Pull Request - State: closed - Opened by inpefess over 2 years ago

#53 - Dont fail on maxclause

Pull Request - State: closed - Opened by inpefess over 2 years ago

#52 - Optimization

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#51 - Add conda

Pull Request - State: closed - Opened by inpefess over 2 years ago

#50 - Formula role

Pull Request - State: closed - Opened by inpefess over 2 years ago

#49 - Parse formula type

Pull Request - State: closed - Opened by inpefess over 2 years ago

#48 - Better windows support

Pull Request - State: closed - Opened by inpefess over 2 years ago

#47 - Publish to conda-forge

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: enhancement

#46 - Make code more OS independent

Issue - State: closed - Opened by inpefess over 2 years ago
Labels: enhancement

#45 - Add Python 3.10 Support

Pull Request - State: closed - Opened by inpefess over 2 years ago - 1 comment

#44 - More wrappers

Pull Request - State: closed - Opened by inpefess almost 3 years ago - 1 comment

#43 - Label fix

Pull Request - State: closed - Opened by inpefess almost 3 years ago - 1 comment

#42 - Update example

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#41 - Bug fix

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#40 - Observation space

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#39 - Add slurm

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#38 - Minor fixes

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#37 - Signature change

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#36 - update example

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#35 - Add dockerfile

Pull Request - State: closed - Opened by inpefess almost 3 years ago - 1 comment

#34 - Add Python 3.10 support

Issue - State: closed - Opened by inpefess almost 3 years ago
Labels: enhancement

#33 - Documentation update

Pull Request - State: closed - Opened by inpefess almost 3 years ago

#32 - Add an example of size-age balanced policy

Issue - State: closed - Opened by inpefess almost 3 years ago - 1 comment
Labels: documentation

#31 - Documentation updates

Pull Request - State: closed - Opened by inpefess about 3 years ago - 1 comment

#30 - Better documentation

Pull Request - State: closed - Opened by inpefess about 3 years ago

#29 - Try moving to JSON-LD-LOGIC

Issue - State: closed - Opened by inpefess about 3 years ago - 2 comments
Labels: enhancement

#28 - Episode function

Pull Request - State: closed - Opened by inpefess about 3 years ago - 1 comment

#27 - Bug fixes

Pull Request - State: closed - Opened by inpefess about 3 years ago

#26 - Tstp proof

Pull Request - State: closed - Opened by inpefess about 3 years ago

#25 - State to tptp

Pull Request - State: closed - Opened by inpefess about 3 years ago

#24 - hotfix: info must contain the processed clause

Pull Request - State: closed - Opened by inpefess about 3 years ago

#23 - Make `clause_in_a_list` faster

Issue - State: closed - Opened by inpefess about 3 years ago
Labels: enhancement

GitHub / inpefess/gym-saturation issues and pull requests