issues
search
inpefess
/
gym-saturation
a collection of Gymnasium environments for saturation provers
Apache License 2.0
19
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bugfixes
#81
inpefess
closed
2 years ago
1
Downgrade gym
#80
inpefess
closed
2 years ago
1
Don't disable env checker
#79
inpefess
closed
1 year ago
4
Catch up with parser
#78
inpefess
closed
2 years ago
1
New grammar
#77
inpefess
closed
2 years ago
0
Automate PyPI releases
#76
inpefess
opened
2 years ago
0
Use bumpversion
#75
inpefess
closed
2 years ago
0
Use pytest-regressions
#74
inpefess
opened
2 years ago
0
Use pydocstyle
#73
inpefess
closed
2 years ago
0
Better collaboration guide
#72
inpefess
closed
1 year ago
0
Test on macOS
#71
inpefess
opened
2 years ago
0
Add AppVeyor
#70
inpefess
opened
2 years ago
1
Use tox
#69
inpefess
closed
2 years ago
0
Better README
#68
inpefess
closed
1 year ago
0
Relax version
#67
inpefess
closed
2 years ago
0
Move parse to another package
#66
inpefess
closed
2 years ago
1
Add E Prover as a backend
#65
inpefess
opened
2 years ago
0
Maintenance
#64
inpefess
closed
2 years ago
1
Better testing
#63
inpefess
closed
2 years ago
1
Better doc
#62
inpefess
closed
2 years ago
0
Another bug fix
#61
inpefess
closed
2 years ago
0
Bug fix
#60
inpefess
closed
2 years ago
1
Update documentation
#59
inpefess
closed
2 years ago
0
Add vampire
#58
inpefess
closed
2 years ago
0
Api change
#57
inpefess
closed
2 years ago
0
Add problem name
#56
inpefess
closed
2 years ago
0
Maintenance
#55
inpefess
closed
2 years ago
0
Joss paper
#54
inpefess
closed
2 years ago
0
Dont fail on maxclause
#53
inpefess
closed
2 years ago
0
Optimization
#52
inpefess
closed
2 years ago
1
Add conda
#51
inpefess
closed
2 years ago
0
Formula role
#50
inpefess
closed
2 years ago
0
Parse formula type
#49
inpefess
closed
2 years ago
0
Better windows support
#48
inpefess
closed
2 years ago
0
Publish to conda-forge
#47
inpefess
closed
2 years ago
0
Make code more OS independent
#46
inpefess
closed
2 years ago
0
Add Python 3.10 Support
#45
inpefess
closed
2 years ago
1
More wrappers
#44
inpefess
closed
2 years ago
1
Label fix
#43
inpefess
closed
2 years ago
1
Update example
#42
inpefess
closed
2 years ago
0
Bug fix
#41
inpefess
closed
2 years ago
0
Observation space
#40
inpefess
closed
2 years ago
0
Add slurm
#39
inpefess
closed
2 years ago
0
Minor fixes
#38
inpefess
closed
3 years ago
0
Signature change
#37
inpefess
closed
3 years ago
0
update example
#36
inpefess
closed
3 years ago
0
Add dockerfile
#35
inpefess
closed
3 years ago
1
Add Python 3.10 support
#34
inpefess
closed
2 years ago
0
Documentation update
#33
inpefess
closed
3 years ago
0
Add an example of size-age balanced policy
#32
inpefess
closed
1 year ago
1
Previous
Next