Phải có Phần mềm Cho Filippo Schiavio
SpanTools là một ứng dụng mã nguồn mở có thể kiểm tra và xác định hệ thống, mà được thể hiện như các mạng của các mặt hàng với các chuyển động và các quốc gia.. SpanTools có thể đánh giá Cospan (Monoidal Graph) biểu thức, cũng như để tính toán đồ thị...