Skip to main content

Ctrl+K

AutStr 4.0.0

AutStr: computing with infinite structures

Guide

Overview

Notebooks

Arithmetic and algebra over infinite structures
Infinite graphs, and how far first-order logic reaches
Graphs of bounded width as uniformly automatic classes
Groups as uniformly automatic classes
Building new structures from old
Implicit evaluation: querying members whose automata are too big to build

API reference

autstr
- autstr package
  - autstr.symbolic package
  - autstr.utils package

Project

Changelog
References

Repository
Open issue

Search

Ctrl+K

By Faried Abu Zaid

© Copyright 2022-2026, Faried Abu Zaid.