QuickSAT - step_SATdb

관련 프로그램

• Metadata Expert 무료 평가판

  .NET 프레임워크용 메타데이터 브라우저입니다. 프로그램 기능: 어셈블리 그룹; 유형 상속 트리, 유형 중첩 트리, 형식 구성 트리; 유형 필터; 어셈블리, 네임스페이스, 형식 및 공용 키에 대한 자세한 정보; 인쇄 미리 보기로 인쇄합니다.

• Sound Spectrum Analyzer (Free) 무료 평가판

  사운드 스펙트럼 분석기 (무료) / S S A (무료)장치의 마이크 입력빈도 분석.기능:- 조정 가능한 린 /로그 진폭 축.- 조정 가능한 린 /로그 주파수 축.- 조정 진폭 / 프레스 비늘 (드래그 / 핀치 줌).- 조정 마커.- 조정 평균.- 일시 중지 / 다시 시작.- 44100 Hz 샘플 속도 / 8192 샘플 / 5.4 Hz 해상도.- 조정 가능한 화

• Wisp interpreter 무료

  Wisp는 다양한 구조화 된 데이터 처리 도구에서 쉽게 사용할 수 있도록 설계된 작은 Scheme과 같은 언어입니다. 악센트는 단순성, 자동 생성성 및 효율성에 있습니다. (현재 긴 틈새에. 고슈는 비슷한 목표를 가지고 있으며 성숙합니다.)

• bissa 무료

  비사 () 오픈 소스 높은 확장 가능한 Tuple 공간 구현.

• xUnit - Unit Testing Framework 무료

  xUnit은 XP 스타일 단위 테스트 프레임워크입니다. xUnit은 프런트 엔드 사이의 프로토콜을 사용하여 테스트 결과와 응용 프로그램에 연결된 테스트 드라이버를 표시하여 응용 프로그램과 그래픽 간의 링크 시간 종속성을 제거하고 라이브러리서지정을 합니다.

• sister 무료

  자매는 SoC 디자인을위한 높은 수준의 신디사이저입니다. SystemC(C++ 언어 기준)를 분석하고 Verilog HDL 소스 코드를 만듭니다.

• Console GUI Library 무료

  터보비전과 유사하지만 Win32/DOS를 지원하는 콘솔 GUI 라이브러리

• OsZ 무료

  OsZ - 마이크로커넬 어셈블리 언어로 작성된 sustem을 작동합니다.최소 4mb 또는 RAM 및 x386 (또는 더 나은 x86 호환) 프로세서와 IBM-PC 호환 컴퓨터가 필요합니다.

• GameBots: Agents in Computer Games 무료

  GameBots는 컴퓨터 게임을 위한 인위적으로 지능적인 자율 에이전트를 구축하기 위한 연구 지향적 플랫폼입니다. 컴퓨터 게임 환경 및 에이전트의 벤치마크 구현에서 감지 및 작동할 수 있는 인터페이스를 제공합니다.

• QUnit 무료

  이것은 C ++에 대한 또 다른 단위 테스트 프레임 워크입니다. 그러나 QUnit은 50줄의 코드처럼 느껴지며 개발 환경에 잘 통합되며 종소리와 휘파람이 포함되어 있지 않습니다. QUnit은 관용구와 비슷하며 필요할 때 구현하기만 하면 됩니다.