Parallel Sat4J 0.01
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/parallelsat4j/files/parallelsat4j/0.01/org.tar.gz/download
에 대해 Parallel Sat4J
이것은 학술 프로젝트입니다. 주요 목적은 CNF 수식을 병렬화한 다음 분산 부품을 순차적인 SAT 솔버에 공급하는 알고리즘을 생성하여 Sat4J를 솔버로 사용하기로 선택하는 것입니다.
관련 프로그램
-
Visualgos 무료
Visualgos는 Flash로 작성된 알고리즘에 대한 시각화 모음입니다. 모든 시각화를 볼 http://yuval.bar-or.org/index.php?item=7
-
wxWorkshop 무료
wxWorkshop는 C ++ 및 파이썬(wxPython)용 wxWidgets 크로스 플랫폼 GUI 프레임워크를 기반으로 응용 프로그램을 개발하기 위한 IDE 프레임워크 및 RAD 도구입니다. 응용 프로그램의 GUI 리소스를 시각적으로 디자인하기 위한 고성능 편집기가 있습니다.
-
Unit Test Framework 무료
둘 다 윈도우에 대 한 C ++ 단위 테스트 프레임 워크 그래픽 및 콘솔 디스플레이만 사용 모든 Windows C++와 호환성을 돕기 위한 Windows API 컴파일러 및 프레임워크
-
Contact: AndroidBinding Demo 무료 평가판
이것은 공식 안드로이드 연락처 관리자 샘플을 기반으로 안드로이드 바인딩에 대한 또 다른 데모입니다 : http://developer.android.com/resources/samples/ContactManager/index.htmlAndroid 바인딩을 사용하면 원래 샘플 코드에 사용자 인터페이스 코드의 필요성이 단순해지는 방법을 보여 줍니다. 소스 코드는 다음 에서 다운로드할 수 있습니
-
Poetica Studios Java Library 무료
모든 포시카 스튜디오 자바 소프트웨어 제품에 의해 사용되는 일반 자바 라이브러리. 라이브러리에는 직렬화에서 배열에 이르는 디버깅에 이르는 다양한 유틸리티가 포함되며 개체 포인터 및 저장된 작업과 같은 유용한 클래스가 많이 포함됩니다.
-
Remote Code Execution for BlueJ 무료
이 프로젝트는 BlueJ Java IDE를 확장합니다. BlueJ의 확장 API를 통해 BlueJ 인터페이스에 네트워킹 기능을 추가하는 것을 목표로 합니다. BlueJ는 새로운 프로그래머에게 Java를 가르치는 데 가장 적합하기 때문에이 프로젝트는 교육에 초점을 맞출 것입니다.
-
Radiation calculator 무료 평가판
응용 프로그램은 차폐 재료의 진공 및 선형 감쇠의 포인트 소스를 가정 등 용량 속도를 계산합니다. 동위원소 및 차폐 재는 추가, 삭제 또는 수정할 수 있습니다.미리 정의된 감마 속도 상수 및 감쇠 계수는 웹에서 발견되었습니다. 올바른 미리 정의된 값을 보장하지 않습니다.
-
Fermion Programming Language 무료
Fermion 프로그래밍 언어는 동적 높은 수준의 개체 지향, 케이스 무감각 프로그래밍 언어입니다. 언어의 단순성은 Fermion을 모든 수준의 프로그래머에게 좋은 학습 과 프로토타이핑 언어로 만듭니다.
-
Nmdepend 무료
Nmdepend는 C++의 경량 '링크 타임' 종속성 분석기입니다. 소스 코드 대신 개체 파일 및 라이브러리를 입력으로 사용합니다. '크로스 디렉토리' 종속성을 관리하는 데 도움이 될 수 있습니다. 종속성은 Graphviz와 함께 시각화할 수 있습니다.
-
Awakener 무료
Awakener는 유전 알고리즘(업계 문제의 90%에 대한 턴키 알고리즘)을 통해 실용적이고 실제 최적화 문제를 해결하기 위한 Java 라이브러리를 제공하는 것을 목표로 합니다. 각성기는 특정 알고리즘으로 슬립워커를 확장합니다.