軟件截圖:
間隔算術艾達是一個數學庫，提供間隔的Ada的實現。它包括算術和關係運算。
例如：
三態邏輯
包間隔用作根包，並提供必要的間隔定義關係操作的三態邏輯。類型的邏輯被定義為：
類型邏輯是（假，真，不確定）;
下面的操作定義邏輯：
功能“不”（左：邏輯）返回邏輯;
功能“和”（左，右：邏輯）返回邏輯;
功能“和”（左：邏輯;右：布爾）
返回邏輯;
功能“和”（左：布爾;右：邏輯）
返回邏輯;
函數“或”（左，右：邏輯）返回邏輯;
函數“或”（左：邏輯;右：布爾）
返回邏輯;
函數“或”（左：布爾;右：邏輯）
返回邏輯;
功能“異或”（左，右：邏輯）返回邏輯;
功能“異或”（左：邏輯;右：布爾）
返回邏輯;
功能“異或”（左：布爾;右：邏輯）
返回邏輯;
什麼是此版本中的新：
- 在此版本中打包Fedora和Debian的32位和64位位x86架構。
評論沒有發現