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
  • Search

© Copyright 2025, Randy Davila.

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