Skip to content

Automated Reasoning

automated-reasoning

A distributed system for solving automated reasoning problems at scale.

Features

  • Monorepo
  • Project Management via uv
  • Dockerized services
  • API Gateway FastAPI service
  • Solver Worker multiprocess service
  • RabbitMQ message broker as task queue
  • Redis as data store

Architecture

architecture

Documentation

The documentation for this project can be found here.

To-Dos

  • Problem Implementations
  • sudoku (puzzle)
  • hashi (puzz;e)
  • maze-cover (puzzle)
  • balsort

giraycoskun