CRPC 0.7.6-090920

관련 프로그램

• Parallel Sat4J 무료

  이것은 학술 프로젝트입니다. 주요 목적은 CNF 수식을 병렬화한 다음 분산 부품을 순차적인 SAT 솔버에 공급하는 알고리즘을 생성하여 Sat4J를 솔버로 사용하기로 선택하는 것입니다.

• Yamwi 무료

  그러나 또 다른 막시마 웹 인터페이스. 일괄 처리 모드에서 웹을 통해 Maxima 프로그램을 실행합니다. 수학 결과는 ASCII 아트 스타일 또는 TeX 기반 바이너리로 반환됩니다.

• UIChart iOS component 무료 평가판

  Rustemsoft UIChart 제어를 사용하면 파이, 바, 선, 실린더, 영역 및 기타 차트 유형을 포함하는 다양한 그래프 유형에서 복잡한 통계 또는 재무 분석을 위해 간단하고 직관적이며 시각적으로 매력적인 차트를 사용하여 iOS 앱을 만들 수 있습니다. UIChart 컨트롤을 사용하여 소량의 데이터의 그래프를 표시하거나 확장하여 매우 큰 데이터 집합의 차트를 표시할 수 있습니다. 차트 개체는 서

• LAAAD 무료

  이것은 액티브 디렉토리를 확장하고 리눅스 호스트의 LDAP / SSL 인증에 대한 지원을 제공 할 수있는 모듈 및 HOWTO의 모음입니다, 리눅스 사용자를위한 로컬 홈 디르 풋 프린트를 설정하고 로그인에 자신의 smbfs 원격 홈 디르를 탑재.

• ARAStoUML 무료

  ArastoUML은 아라스 혁신가 데이터 모델과 UML 간의 상호 작용 프로젝트입니다.

• Ira DB Manager 무료

  이 프로젝트의 목적은 DBA와 개발자가 액세스 데이터베이스를 비교, 동기화 및 관리할 수 있도록 하는 것입니다. 또한 향후 계획은 파일의 각 테이블에 대한 삽입/선택/업데이트/DELETE 작업에 대한 SQL complant 문을 생성하는 것입니다.

• Another Korean Keyboard 무료 평가판

  한글(한국어) IME는 한국어뿐만 아니라 중국어와 기호를 한국에서 자주 사용하는 것으로 입력합니다.

• SimpleCM 무료

  SimpleCM은 사용자가 쉽게 변경할 수 있도록 설계된 간단한 콘텐츠 관리자입니다. 그것은 염두에 있는 사용자를 염두에 두고 설계되었습니다. SimpleCM을 구성하는 데 도움이 되는 관리자 인터페이스로 배송됩니다.

• kernel/userspace shared memory driver 무료

  mbuff.o 모듈 및 /dev/mbuff은 사용자 공간에서 매핑할 수 있는 vmalloc를 사용하여 커널에 메모리를 할당하는 공유 메모리 장치로 사용하기 위한 것입니다. 특히 RT-Linux 작업/사용자 공간 통신에 좋습니다.

• Rich Web Application Development Tool 무료

  이 프로젝트는 Laszlo Openserver를 사용하여 풍부한 웹 응용 프로그램의 개발을 단순화하는 것을 목표로합니다. 프로젝트의 원래 목표는 데이터베이스 응용 프로그램을 생성할 가능성을 입증하는 것이었습니다. 그러나 우리는 이제 더 높은 목표를 가지고 있습니다.