TxGraffiti

Getting Started

  • Installation
  • Quickstart

Key Features

  • Logic
  • Generators
  • Heuristics
  • Playground

Automated Conjecturing

  • History
  • Wang’s Program II
  • Fajtlowicz’s Graffiti
  • DeLaViña’s Sophie Heuristic
  • Melót’s GraPHedron

API Reference

  • txgraffiti.generators
  • txgraffiti.heuristics
  • txgraffiti.logic
  • txgraffiti.playground
  • txgraffiti.processing
  • txgraffiti.export_utils package
  • txgraffiti.example_data package
TxGraffiti
  • Overview: module code

All modules for which code is available

  • txgraffiti.example_data
  • txgraffiti.export_utils.lean4
  • txgraffiti.heuristics.davila
  • txgraffiti.heuristics.delavina
  • txgraffiti.heuristics.fajtlowicz
  • txgraffiti.logic.conjectures
  • txgraffiti.logic.inequalities
  • txgraffiti.logic.predicates
  • txgraffiti.logic.properties
  • txgraffiti.logic.tables
  • txgraffiti.playground.conjecture
  • txgraffiti.playground.registry
  • txgraffiti.processing.postprocessors

© Copyright 2025, Randy Davila.

Built with Sphinx using a theme provided by Read the Docs.