RedSam
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/redsam/files/redsam/RedSam/RedSamV1.zip/download
에 대해 RedSam
제약 문제 이진 제약 조건에 대한 해결사, 현재 형식 XCSP 2.1XML의 입력 파일, 2008 CSP / MaxCSP / WCSP 해결사 경쟁에 채택. 솔버는 C++에 있으며 부스트 라이브러리를 사용합니다.
관련 프로그램
-
VSource PHP Image Reflection Script 무료
이 PHP 이미지 반사 스크립트는 생성된 반사로 이미지를 출력합니다그것은 단순히 다른 매개 변수 들 사이에서 이미지 매개 변수를 취하고 브라우저에서 표시할 원시 이미지를 출력합니다. 입력 형식 지원: GIF, JPG, PNG, PDF
-
wmpower 무료
wmpower는 사용자가 보고 (설정) 자신의 노트북의 전원 관리 상태를 할 수 있도록 리눅스에 대한 창 메이커 도크 응용 프로그램입니다. C로 작성된 APM 및 ACPI 지원 커널모두에서 작동합니다. 또한 도시바 하드웨어에 직접 인터페이스합니다.
-
FortCUDA 무료
이 프로젝트는 포트란 2003 ISO_C_BINDINGS 모듈을 사용하여 F95/2003의 CUDA 바인딩을 위한 프로젝트입니다. 그것은 포트란 2003에서 CUDA SDK에 가까운 네이티브 콜 구문을 제공하기위한 것입니다. 현재 대부분의 Fortran 컴파일러가 ISO_C_BINDINGS 모듈을 지원하고 있습니다.
-
Neurophysiology Analysis Toolkit 무료
신경 생리학적 데이터 분석을 위한 오픈 소스 패키지 - 단일 뉴런 스파이크 트레인 또는 행동 및 메모리 프로세스와 관련된 EEG 데이터의 오프라인(대 실시간) 처리. 현재 MATLAB 무거운, 일부 윈도우 특정 코드.
-
Lojban Glossary Builder 무료
자바 프로그램은 주어진 Lojban 텍스트에서 고유 단어의 (잠재적으로 다국어) 용어집을 만듭니다.
-
Eclipse XML based SRS 무료
EMF 2.0은 외부 문서 및 결과 소프트웨어 구성 요소에 대한 연결과 XML 기반, 사용 사례 중심, 소프트웨어 요구 사항 사양을 생성하기 위해 Eclipse 플러그인을 생성했습니다. 정교한 HTML 보고서를 생성합니다. http://xmlbasedsrs.tigris 기준
-
Fitnium 무료
FitNesse와 셀레늄의 조합으로, 어떤 개발자도 피트니스 프레임워크를 통해 실행되는 일반 영어로 셀레늄 테스트를 작성할 수 있는 도메인 별 랜게이지를 제공합니다. 지원 http://groups.google.com/group/fitnium
-
Kyumo: Kyu Jong Memo Widget 무료 평가판
기능:- 당신은 당신의 화면에 여러 메모를 넣을 수 있습니다- 이후./To. 지원되는 일 계산/카운트다운- 3 색을 선택할 수 있습니다 - 규종과 SS501의 아이콘 세트- D-1 및 D-0카운트다운시 알림이 표시됩니다.홈 화면에 위젯을 추가하는 방법:http://www.brighthub.com/mobile/google-android/articles/48646.aspx
-
The Pirate Bay Browser 무료
이 응용 프로그램은 device에서 개인 정보를 검색하지 않습니다 ***Ads는 이 응용 프로그램을 무료로 유지하는 것입니다, GPS 권한은 광고 기능에 의해 요구된다, 이것은 단지 광고 기능에 따라 사용자에게 광고를 대상으로하기 위해 트리거 그 / 그녀의 위치와 다른 아무것도. 당신은 어떤 질문이나 문제가있는 경우 이메일 개발자에게 주시기 바랍니다! 검색 및 당신의 안드로이드 장치에 바로 좋아하는
-
axdistcc 무료
axdistcc는 distcc가있는 작은 라이브 CD이며 컴파일 팜을 쉽게 만들 수 있습니다. 그것은 기본 시스템으로 사용 슬랙웨어 리눅스 11.0 수정 된 리눅스 라이브 스크립트.