검색 결과 - 제약

X-블렌더는 GNU 일반 공중 사용 허가서 아래에서 자유 소프트웨어로 발표 3 차원 그래픽 응용 프로그램입니다. 가죽 벗기기 상이 지, 애니메이션,…

AppGini 즉시 웹 데이터베이스 응용 프로그램을 개발 하는 데 도움을 주는 프로그램입니다. 그것을 사용 하 여 모든 프로그래밍 배경을 필요가…

SQL Server 복구 도구 상자는 모든 주요 버전의 Microsoft SQL Server에서 Microsoft SQL Server 데이터베이스를 복구 합니다. 데이터 형식, 테이블…

GNU 프롤로그 허용 프롤로그 + 제약 프로그램과 네이티브 바이너리 (gcc C 소스에서 처럼)를 생성 한다. 획득된 실행 파일은 독립 실행형.…

GNU 프롤로그 허용 프롤로그 + 제약 프로그램과 네이티브 바이너리 (gcc C 소스에서 처럼)를 생성 한다. 획득된 실행 파일은 독립 실행형.…

선형 프로그래밍 라이브러리는 선형 프로그래밍 솔 버의 능력과 어떤 소프트웨어 도구 처럼 Ms Visual c + +, Ms Visual C#.Net,…

상승 SQL Server 코드 생성기 네이티브 Transact SQL 스크립트를 생성합니다. 스크립트는 테이블, 열, 인덱스 및 상승 모델을 일치 하도록 데이터베이스…

상승 PostgreSQL 코드 생성기 기본 PL/pgSQL 스크립트를 생성합니다. 스크립트는 테이블, 열, 인덱스 및 상승 모델을 일치 하도록 데이터베이스 제약 조건…

Gecode는 근본적으로 프로그래밍에 대 한: 다른 시스템에 쉽게 인터페이스 될 수 있습니다. (제약 조건 구현)으로 새로운 propagators, 분기 전략 및…