XML-SAT
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/xml-sat/files/release/xml-sat-0.1.zip/download
에 대해 XML-SAT
Minisat를 기반으로 하는 모듈식 SAT 솔버입니다. 모듈은 펄 스크립트에 의해 처리되는 XML 파일에 설명되어 있습니다. 따라서 n-솔버를 생성합니다.
관련 프로그램
-
TimeSignalForDroid 무료
매시간 진동하여 알려줍니다.일본의 목소리에 시간을 주목하십시오.
-
SVATS 무료
SVATS [스파이스 추가 안전 검증 분석]은 버클리 향신료와 같은 시뮬레이션 SW를 사용하여 아날로그 및 혼합 아날로그 디지털 전자 회로에서 FMEA를 수행하기 위해 반복적인 분석 기능을 추가하는 데 사용되는 Pyhton 서면 EDA 도구입니다.
-
Cube Language Specification 무료
큐브 언어는 새로운 프로그래밍 언어입니다, 새로운 aproach에 따라: 다차원 프로그래밍. 이 프로젝트의 목적은 전문가를 언어에 대한 공개 토론에 초대하고 사양을 만드는 것입니다.
-
Arrowhead Collector 무료
화살촉의 표면 수집기에 대한 "필수" 응용 프로그램이 있습니다. 다음은 매우 유용할 수 있는 기능의 하이라이트입니다.- 새로 발견 된 유물은 휴대 전화의 GPS로 위치를 기록- 나중에 사진을 추가 할 수있는 기능으로 '앉아서'사진을 찍습니다.- 아티팩트 유형, 부싯돌 재료, 사이트 등으로 컬렉션을 구성하는 키워드를 할당합니다.- 이미 발견된 아티팩트의 경우 맵을 사용하여 발견된 위치
-
eYe project 무료
eYe 프로젝트는 Windows 환경에서 Sambar 웹 서버, MySql 데이터베이스 및 PhP를 배포하는 것입니다. 완전히 구성, 사용할 준비가. 이 프로젝트에는 사용할 수 있는 모듈도 많이 있습니다. 개념은 완전한 웹 데이터베이스 서버를 설정하는 것입니다.
-
Apache Analyzer 무료
아파치 분석기는 아파치 로그를 구문 분석하고 분석하기 위한 Java 애플리케이션 패키지입니다. 보고서는 PDF 파일로 준비됩니다. OCEAN GenRap는 데이터를 분석하는 데 사용됩니다. 문서 페이지에서 일반 정보를 확인하세요.
-
OVal - object validation framework 무료
OVal은 Java 5 이상에 대한 확장 가능한 개체 유효성 검사 프레임워크입니다. 주석(@NotNull) 또는 XML 구성 파일을 사용하여 클래스 제약 조건을 표현할 수 있습니다. OVal은 선택적으로 AspectJ를 사용하여 자동 유효성 검사를 적용할 수 있습니다(DbC)
-
NaturalOWL 무료
NaturalOWL은 RDF에 표현된 언어 및 사용자 모델링 리소스에 음부이 있는 OWL의 개인 및 클래스에 대한 설명을 생성합니다. 현재는 영어와 그리스어를 지원합니다. NaturalOWL은 프로트그 플러그인으로 사용할 수 있습니다.
-
NetBeans Source Viewer Service Plugin 무료
NetBeans 플러그인은 외부 클라이언트에게 기본 Java 소스 코드 보기 및 탐색 기능을 제공하는 간단한 TCP 서비스를 노출합니다. softwarepearls.com 의해 기여. 이보 트리투노비치와 로렌스 반헬수우에 의해 코딩.
-
Spam Agent - SMS Filter 무료
SMS 스팸의 피곤? 스팸 에이전트는 기계 학습 기술을 사용하여 스팸을 감지하고 차단하는 스마트 SMS 필터입니다. 성가신 블랙리스트에 대해 잊어 버리고 원치 않는 메시지를 스팸으로 표시하고 에이전트가 귀하의 행동에서 배울 것입니다. 더 많이 사용하면 더 잘 사용할 수 있습니다! 190개국에서 수천 명의 심비안 사용자가 이미 스팸에 맞서 싸우기 위해 이 응용 프로그램을 사용하고 있습니다. 어떤 질문이