 | Uppaal Timed Automata Parser 라이브러리UPPAAL Timed Automata Parser 라이브러리 (libutap)는 UPPAAL에서 사용하는 파서 라이브러리입니다. |
| 지금 다운로드 | |
Uppaal Timed Automata Parser 라이브러리 순위 및 요약
광고
Uppaal Timed Automata Parser 라이브러리 태그
Uppaal Timed Automata Parser 라이브러리 설명
UPPAAL Timed Automata Parser 라이브러리 (libutap)는 UPPAAL에서 사용하는 파서 라이브러리입니다. UPPAAL Timed Automata Parser 라이브러리 (Libutap)는 uppaal.requirements에서 사용하는 파서 라이브러리입니다. · GCC (2.95.3 또는 Newer) · libxml2 (2.6.0 또는 Newer) · GNU make (3.79는 잘 작동합니다. 다른 버전의 다른 버전은 작동 할 수 있습니다. · 플렉스 - 옵션 (2.5.4A 잘 작동) · Bison - 선택 사항 (1.35 Works, 1.28이 아닙니다) · GPerf - 선택 사항 (2.7.2 잘 작동 함) · Doxygen - 선택 사항 (1.3-RC3 Works FINE) 설치 : Libutap은 자동 사장 및 AutoCONF를 사용하여 파일 만들기를 생성하고 빌드 프로세스를 구성합니다. 라이브러리를 구성하고 설치하려면 다음을 실행하십시오. 많은 사소한 버그 수정, 코드 정리 및 최신 uppaal 언어 확장을 지원합니다. · 새로운 uppaal 중간 형식에 대한 예제 파서도 포함되어 있습니다.
Uppaal Timed Automata Parser 라이브러리 관련 소프트웨어
