Skip to content

SolverPy

ℹ️ Overview

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
- 📁 setups
  📁 setups
- 📁 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
- 📁 tools
  📁 tools
  - 📁 markdown
    📁 markdown
    
    🤖 dia
    
    🤖 plantuml
  - 🤖 external
  - 🤖 human
  - 🤖 patterns
  - 🤖 redirect
  - 🤖 reporter
  - 🤖 resources
  - 🤖 timeme
  - 🤖 typing
📦 solverpy-learn
📦 solverpy-learn
- 📁 builder
  📁 builder
  - ℹ️ Overview ℹ️ Overview
    Table of contents
    
    builder
  - 📁 autotune
    📁 autotune
    
    ℹ️ Overview
    
    🤖 autotune
    
    🤖 build
    
    🤖 check
    
    🤖 tune
  - 📁 plugins
    📁 plugins
    
    ℹ️ Overview
    
    🤖 cvc5
    
    🤖 enigma
    
    🤖 multi
    
    🤖 svm
    
    🤖 trains
  - 🤖 autotuner
  - 🤖 builder
  - 🤖 cvc5ml
  - 🤖 enigma
  - 🤖 svm
- 📁 report
  📁 report
  - 📁 talker
    📁 talker
    
    🤖 looptalker
- 📁 scripts
  📁 scripts
- 📁 setups
  📁 setups

Table of contents

builder

Builder Overview

`solverpy_learn.builder`

This module encapsulates the model builder for ML experiments.

Made with Material for MkDocs