Hypergraph Rewriting Engine

A high-performance implementation of multiway hypergraph rewriting.

Features

• Parallel Pattern Matching: Task-parallel pipeline with work-stealing scheduler
• Edge Signature Indexing: Fast pattern matching via multi-level signature partitioning
• Incremental Rewriting: Match reuse and patch based matching around newly added edges
• Multiway Graph Evolution: Parallel state evolution and causal/branchial edge creation
• Lock-free Data Structures: High-performance concurrent queues and hash maps
• Canonicalization: Optimized hypergraph canonicalisation with insertion sort for fast incremental updates
• Mathematica Integration: Paclet support

Development Status

This code is not ready for production use.

This repository is uploaded for progress reporting requirements and is not yet released. The implementation is under active development and contains known issues and incomplete features.

Quick Start

Build

mkdir build && cd build
cmake .. && make -j

Run Tests

# Core functionality tests
./unified_tests

Basic Usage

#include <hypergraph/wolfram_evolution.hpp>
#include <hypergraph/rewriting.hpp>

// Create evolution system
hypergraph::WolframEvolution evolution(3, 4, true, false); // 3 steps, 4 threads

// Define rewriting rule: {A,B} -> {{A,B}, {B,C}}
hypergraph::PatternHypergraph lhs, rhs;
lhs.add_edge({hypergraph::PatternVertex::variable(1),
             hypergraph::PatternVertex::variable(2)});
rhs.add_edge({hypergraph::PatternVertex::variable(1),
             hypergraph::PatternVertex::variable(2)});
rhs.add_edge({hypergraph::PatternVertex::variable(2),
             hypergraph::PatternVertex::variable(3)});

evolution.add_rule(hypergraph::RewritingRule(lhs, rhs));

// Run evolution
std::vector<std::vector<hypergraph::GlobalVertexId>> initial = {{1, 2}};
evolution.evolve(initial);

// Get results
const auto& graph = evolution.get_multiway_graph();
std::cout << "States: " << graph.num_states() << std::endl;
std::cout << "Events: " << graph.num_events() << std::endl;

Build Requirements

• C++17 compatible compiler (GCC 8+, Clang 7+)
• CMake 3.15+
• Google Test (automatically downloaded)
• Mathematica 12+ (for paclet build dependencies)

Supported Platforms

The paclet supports 6 platforms:

• Linux: x86-64, ARM64
• Windows: x86-64, ARM64
• macOS: x86-64 (Intel), ARM64 (Apple Silicon)

Cross-Compilation

Cross-compilation from Linux is supported for all 6 platforms. The build script automatically detects available toolchains and builds for all platforms where dependencies are met:

• Linux ARM64: Requires gcc-aarch64-linux-gnu
• Windows x86-64: Requires MinGW-w64 (gcc-mingw-w64-x86-64)
• Windows ARM64: Requires Clang + Windows SDK (auto-detected in WSL2)
• macOS: Requires OSXCross

The build script gracefully skips platforms where toolchains are unavailable. See paclet_source/README.md for detailed build instructions and dependencies.