libLogic
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://liblogic.cvs.sourceforge.net/liblogic
에 대해 libLogic
libLogic은 인간의 도움없이 어떤 순서의 논리적 이론에서 정확하고 효율적으로 모든 입증 진술을 정확하게 증명하는 믿을 수 - 투 - 비교할 수없는 능력을 증명하는 자동화 된 정리를위한 소프트웨어 라이브러리입니다.
관련 프로그램
-
CMS Utilities 무료
cmsutils개발, 생성 및 cms (포스트 누케, 자라야, ...) 모듈을 변환하는 데 도움이 프로그램을 제공합니다. 델파이/킬릭스에 기록
-
luabridge 무료
Luabridge는 C++ 기능 및 클래스를 Lua 환경으로 내보내기위한 경량의 종속성없는 라이브러리입니다. 표준 준수 C++ 템플릿 메타프로그래밍을 사용하며 Lua 5.1.2에 대해 작성됩니다.
-
svgconv 무료
svgconv는 SVG 경로를 OpenVG에서 쉽게 사용할 수 있는 C 형식으로 변환하는 콘텐츠 도구입니다.
-
Mobile StrongBOX - Data Vault 무료 평가판
최고의 데이터 보호 응용 프로그램인 Mobile StrongBOX는 사진이나 비디오, 암호, 은행 계좌데이터, 문서 및 보호하려는 기타 모든 개인 정보의 안전한 저장을 위해 설계되었습니다. 응용 프로그램의 주요 목적은 데이터 보안이며 휴대 전화에 최적화 된 강력한 암호 시스템을 사용합니다. 데이터를 숨길 뿐만 아니라 업계에서 가장 강력한 암호화 알고리즘으로 암호화합니다.오늘 우리는 우리가 가는
-
embedded Finite State Machine (eFSM) 무료
반응성 또는 상태 형 시스템을 모델링하고 제어하는 데 사용할 수 있는 임베디드 유한 상태 기계(FSM) 시설입니다. 시스템은 여러 주에서 나타낼 수 있습니다. 상태 전환은 여러 이벤트에 의해 구동됩니다. eFSM은 C로 작성됩니다.
-
Albert 무료
알버트는 자바독과 Doxygen에 필적하는 일반적인 리스프의 문서 생성기입니다. 현재 DocBook 문서를 생성합니다. ASDF 시스템 정의를 읽고 시스템을 문서화합니다.
-
SETILog for Unix 무료
SETILog는 CSV 파일에서 완료된 SETI@home 작업 단위의 일부 통계를 저장합니다. 이 파일은 SETIWatch에서 완료된 작업 단위를 추적하기 위해 필요합니다.
-
HappyDoc 무료
HappyDoc은 파이썬 소스 코드에서 문서를 추출하는 도구입니다. 모듈에 대한 구문 분석 트리를 사용하여 정보를 파생하고 모듈을 가져오지 않는다는 사실에 따라 다른 응용 프로그램과 다릅니다.
-
OpenCL .Net 무료
이 프로젝트는 두 가지 작업을 수행하려고 시도합니다. 첫째, OpenCL 1.1 사양을 가능한 한 가깝게 미러링하는 OpenCL API에 바인딩을 제공합니다. 둘째, 더 많은 API의 더 높은 수준의 추상화를 제공합니다. 넷 같은.
-
PAPAS: Path Planning Algorithm Suite 무료
PAPAS(경로 계획 알고리즘 제품군)는 경로 계획을 위한 알고리즘 집합입니다. PRM, RRT, 웨이브프론트 플래너 등과 같은 일반적인 알고리즘을 가지고 있습니다. 구현은 C 언어로 수행되며 코드는 약 2 년 동안 개발되었습니다.