tera.ai

Knowledge Graph

Graph explorer

Search resolved entities, walk their edges, and read the sentence behind every one.

Entities25 of 207,987

All entities

Entity

Google OR-Tools CP-SAT

technology1 mentionslast seen Sep 16, 2026

A constraint-programming solving backend supported by RunSoC 2.0.

Relationships 1

Google OR-Tools CP-SAT

Relationship

RunSoC 2.0depends onGoogle OR-Tools CP-SAT

85% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1