Skip to content
SolverPy
🤖 cvc5
Initializing search
SolverPy
🏠 Home
📥 Install
🧭 Usage
🎓 Tutorials
🎓 Tutorials
🧪 Evaluating E
⚗️ Evaluating cvc5
🧠 Training ENIGMA
🐍 Python API
🐍 Python API
💡 Solving a problem
🔧 Benchmark evaluation
⌨️ Commands
📦 solverpy
📦 solverpy
ℹ️ Overview
📁 benchmark
📁 benchmark
ℹ️ Overview
📁 db
📁 db
ℹ️ Overview
📁 providers
📁 providers
🤖 jsons
🤖 loader
🤖 solved
🤖 status
🤖 cachedprovider
🤖 db
🤖 provider
📁 path
📁 path
ℹ️ Overview
🤖 bids
🤖 sids
📁 reports
📁 reports
🤖 data
🤖 markdown
🤖 progress
🤖 evaluation
🤖 summary
📁 report
📁 report
ℹ️ Overview
📁 talker
📁 talker
ℹ️ Overview
🤖 bar
🤖 evaltalker
🤖 logtalker
🤖 remotetalker
🤖 talker
🤖 log
📁 scripts
📁 scripts
🤖 clean
🤖 cli
🤖 esid2strat
🤖 init
🤖 report
🤖 run
📁 setups
📁 setups
ℹ️ Overview
🤖 common
🤖 evalset
🤖 loop
🤖 runtime
🤖 setup
🤖 solver
📁 solver
📁 solver
ℹ️ Overview
📁 atp
📁 atp
ℹ️ Overview
🤖 cvc5
🤖 eprover
🤖 lash
🤖 prover9
🤖 vampire
📁 plugins
📁 plugins
ℹ️ Overview
📁 db
📁 db
ℹ️ Overview
🤖 bid
🤖 eprovesid
🤖 errors
🤖 outputs
🤖 proofs
🤖 sid
📁 shell
📁 shell
ℹ️ Overview
🤖 limits
🤖 memory
🤖 shelltime
🤖 time
🤖 timeout
📁 status
📁 status
ℹ️ Overview
🤖 limiter
🤖 runhash
🤖 smt
🤖 tptp
🤖 apply
🤖 decorator
🤖 managed
🤖 plugin
🤖 translator
📁 smt
📁 smt
ℹ️ Overview
🤖 bitwuzla
🤖 cvc5
🤖 llm2smt
🤖 opensmt
🤖 primo
🤖 spasssatt
🤖 yices
🤖 z3
🤖 object
🤖 pluginsolver
🤖 reloader
🤖 shellsolver
🤖 solver
🤖 solverpy
🤖 stdinsolver
📁 task
📁 task
ℹ️ Overview
🤖 launcher
🤖 shelltask
🤖 solvertask
🤖 task
📁 tools
📁 tools
📁 markdown
📁 markdown
🤖 dia
🤖 plantuml
🤖 external
🤖 human
🤖 patterns
🤖 redirect
🤖 reporter
🤖 resources
🤖 timeme
🤖 typing
📦 solverpy-learn
📦 solverpy-learn
📁 builder
📁 builder
ℹ️ Overview
📁 autotune
📁 autotune
ℹ️ Overview
🤖 autotune
🤖 build
🤖 check
🤖 tune
📁 plugins
📁 plugins
ℹ️ Overview
🤖 cvc5
🤖 cvc5
Table of contents
cvc5
🤖 enigma
🤖 multi
🤖 svm
🤖 trains
🤖 autotuner
🤖 builder
🤖 cvc5ml
🤖 enigma
🤖 svm
📁 report
📁 report
📁 talker
📁 talker
🤖 looptalker
📁 scripts
📁 scripts
🤖 autotune
🤖 compress
🤖 decompress
🤖 deconflict
🤖 filter
📁 setups
📁 setups
ℹ️ Overview
🤖 loop
🤖 solver
🤖 tuner
Table of contents
cvc5
module cvc5
solverpy_learn.builder.plugins.cvc5