GitHub - Gateway07/Evolver: Counterexample Discovery & Theory Modeling by using OpenEvolve · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
agents		agents
evolver		evolver
plugins		plugins
test		test
.gitignore		.gitignore
config.yaml		config.yaml
requirements.txt		requirements.txt

About

Counterexample Discovery & Theory Modeling by using OpenEvolve

Report repository

Releases

No releases published

Packages

Contributors

Languages

Python 100.0%