PolyBoRi는 부울 링보다 다각형용 C++ 라이브러리로 구현되며, 이는 부울 다각형에 대한 높은 수준의 데이터 유형을 제공합니다. 파이썬 인터페이스는 부울링보다 그로브너 기지를 컴퓨팅하기 위한 확장 가능한 알고리즘을 생성합니다.
버전 기록
- 버전 0.7.0 에 게시 2011-02-25
몇 가지 수정 및 업데이트 - 버전 0.7.0 에 게시 2011-02-25
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: polybori.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 0.7.0
- 플랫폼: linux