야훼 제약 조건 프로그래밍 기술을 제공하기 쉽습니다.
지금 다운로드

야훼 순위 및 요약

야훼 태그

도서관 자바 라이브러리 요소 개발하다 Java Component. 프로그래밍 라이브러리 자바 개발자 제약 조건 강제 피치 제약 조건 제약 프로그래밍 제약 조건 라이브러리 쉬운 프로그래밍 객체 제약 언어 제약 솔버 제약 정수 제약 조건 관리 소프트웨어

야훼 설명

Jacop은 개발자가 작업하는 데 도움이되는 Java 기반 구성 요소입니다. 귀하가 연구원 인 경우 Jacop은 사용하기 쉬운 도구이며, 특정 요구에 맞게 확장되기 쉽고, Jacop의 도움으로 큰 문제를 실제로 해결하는 데 쉽게 확장 할 수 있습니다. Jacop은 CP 기술뿐만 아니라 CP 기술뿐만 아니라 연구에만 적용되는 연구에 사용되었습니다. Jacop과 같은 도구가 PHD시에 이용할 수있는 경우 PHD 1-2 년 이전에 PHD를 만들 것입니다. 이점을 위해 사용할 수있는 도구를 사용해야합니다. CP 기술의 중요한 측면에서 작업하는 경우 Jacop의 기능을 구현하는 데 도움이되는 자유 시간을 통해 우리는 Jacop State-of-The-Art를 유지할 수 있습니다. 소프트웨어를 작성하는 소프트웨어 엔지니어가있는 경우 Jacop은 모든 제약 프로그래밍 솔버가 손상에서 문제를 모델링하고 효율적인 검색 방법을 찾는 다양한 검색 접근법을 평가할 수있는 기능을 제공합니다. 제약 조건 내에서 인코딩 된 풍부한 지식을 사용하여 소프트웨어 솔루션의 추론 / 해결력을 늘리십시오. 프로젝트 내부의 Jacop 형태로 CP 기술을 적용 할 수 있도록 CP 기술을 적용하는 데 도움이되는 컨설턴트들 수입니다. Jacoptwiki에 대한 도움을 받아야 할 필요성을 자유롭게 알리십시오. Jacop은 모델링뿐만 아니라 검색의 모듈 형 설계를 용이하게하기 위해 모델링을 용이하게하기 위해 상당한 수의 제약을 제공하여 문제의 특성의 특성을 조정할 수 있습니다. 현재 예제 및 테스트 코드를 포함하지 않고 현재 60.000 줄 이상의 코드입니다. 다양한 문제를 모델링하고 해결하는 방법을 설명하는 20.000 줄 이상의 코드가 있습니다. 우리는 취미 활동으로서 자유 시간 동안 지난 8 년 동안 Jacop에서 일하고 있습니다. 그것은 리팩토링, 변형, 여러 번 개선되었습니다. 초기 버전의 Jacop은 현재 버전보다 3 가지보다 느리게 느려지 훨씬 균일 할 가능성이 큽니다. Jacop은 광범위한 Java API 문서뿐만 아니라 예제의 큰 라이브러리를 제공합니다. 우리는 고교 시대의 젊은이들에 의한 Jacop 사용 사례가 있습니다. CP 기술은 사용하기 쉽지 않으므로 적어도 우리가 할 수있는만큼 쉽게 Jacop을 사용하려고 노력했습니다. Jacop을 더욱 쉽게 / 직관적으로 사용하도록 돕는 것을 자유롭게 느끼십시오. 귀하의 예를 보내주십시오, 우리는 필요한 경우 리팩터링하고 다른 예와 함께 포함시킬 것입니다. 솔버를 만드는 것은 우리가 시작했을 때 우리는 CP 기술을 효율적으로 적용하기 위해 폐쇄 된 소스 솔버를 통해 고심하고있는 CP 기술 사용자에게 좌절 된 초심자 사용자였습니다. 우리는이 년 동안 많은 CP와 소프트웨어 공학을 배웠습니다. Jacop 개발은 3 가지 우선 순위에 따라 사용되며, 사용 편의성, 유지 보수 용이성 및 효율성. 사용할 수있는 솔버 수가 있으며, 각각은 특별하고 각각은 유용 할 수 있습니다. 여기서 선택할 수있는 선택이 하나 더 있습니다. 모든 솔버는 솔버 응용 프로그램이 다른 요구 사항을 부과하고 일부 최적화를 불가능하게 만듭니다. Jacop은 솔버의 내부 거동에 대한 검색 및 광범위한 제어 중 제약 조건 추가를 용이하게합니다. 솔버의 거의 모든 양상을 조정할 수 있습니다. 솔버가 작은 일이 중요 할 때 연구에서 사용되어야하며 기술을 훨씬 더 느리게 할 수 있습니다. 모든 데이터 구조는 가능한 특별 검색 경화를 구현하는 조작에 사용할 수 있습니다. 추가 기능을 사용하여 사용자 자신의 제약 조건을 구현하는 것도 가능합니다.이 기능은 뒷부분에서 검색 할 수 있습니다. 저자는 사용 편의성, 확장의 용이성 및 효율성 사이의 적절한 균형을 이루기 위해 노력합니다. Jacop은 CSP를 XML 형식으로 저장하기위한 XCSP 형식을 지원하고 확장합니다. Jacop은 지속적으로 개발 중입니다. 새로운 제약 조건이 추가 될뿐만 아니라 엔진의 내부도 향상되는 것은 거의 완전히 역 호환 가능합니다. 저자는 제약 조건의 핵심 기능에 집중되어 있으므로 프로그램 디버깅에 도움이되는 그래픽 인터페이스가 아직 없습니다. 짧은 가이드 및 Java DOC 문서가 많이 있지만 저자는보다 정교한 문서를 더 많이 생성하는 데 더 많은 시간을 갖고 싶습니다. Jacop의 시작 이후 구현 된 많은 다른 제약 도구가 있습니다. 모든 시스템은 확장 가능성, 기능성, 효율성을위한 개발 용이성을 다른 방식으로 거래하는 것과 다릅니다. Java 프로그램을 실행하는 비용을 피하기 위해 Java를 통해 C ++를 선택하는 효율성을 위해 모든 것을 희생하는 도구가 있습니다. 우리 자신의 실험은 Jacop이 매우 좋은 Java Solver임을 나타내지 만 좋은 C ++ 기반 해결사보다 느립니다. 사용하기 쉽고 유지 관리하기 쉽고, 쉽게 Java로 작성하기 쉽고 효율적인 솔버가 작성된 Jacop은 귀하를 위해 시도해야합니다.

야훼 관련 소프트웨어