Back to CONSTRAINTS.md
Research & Science
CONSTRAINTS.md · 3 documents
CONSTRAINTS.md
Lineage: Irreversible State, Causal Memory, and Ontological Constraints in Software Systems
Defines six ontological primitives that enforce irreversible state transitions in software systems, with type system and runtime verification.
aiagent
0
0
sisilabsaiCONSTRAINTS.md
Subset constraints in general graphs
Explains how to require a set of edges to appear together in at least one solution walk for directed graph models with cycles.
ai
0
2
algbioCONSTRAINTS.md
Timing Considerations
Explains setup and hold time constraints for flip-flops in digital circuits, including clock skew effects.
ai
0
0
laspp