Search Packages

pylogics

A Python library for logic formalisms representation and manipulation.

acacia-boomslang

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

pythogic

A Python package for deal with logical formulas and formal systems (e.g. FOL)

grugbot420

Lateralus — a pipeline-native programming language with compiler, VM, OS, LSP, and VS Code extension. Try it at lateralus.dev/playground

nl2ltl

Natural Language (NL) to Linear Temporal Logic (LTL)

hoa-utils

Utilities for the HOA format.

openpromela

Synthesis of discrete dynamical systems from multi-paradigm specifications