QuickSAT - step_SATdb

相关软件

• Metadata Expert 免费试用

  .NET 框架的元数据浏览器。程序功能：程序集组;类型继承树，类型嵌套树，类型构造树;类型过滤器;程序集、命名空间、类型和公钥的详细信息;打印预览。{@}

• Sound Spectrum Analyzer (Free) 免费试用

  声谱分析仪（免费）/S S A（免费）设备麦克风输入的频率分析。特征：- 可调林/日志振幅轴。- 可调林/日志频率轴。- 可调节振幅/频率刻度（拖动/捏合缩放）。- 可调标记。- 可调平均值。- 暂停/恢复。- 44100 Hz 采样速率 / 8192 样本 / 5.4 Hz 分辨率。- 可调节屏幕方向（纵向/横向）（传感器）

• Wisp interpreter 免费

  Wisp 是一种小型的、与方案一样的语言，设计用于各种结构化数据处理工具。重点就简单、自动可谱和效率。（目前处于长时间的中断状态。高奇有类似的目标，并且更成熟。

• bissa 免费

  Bissa （ ） 是一个开源高度可扩展的元组空间实现。

• xUnit - Unit Testing Framework 免费

  xUnit 是一个 XP 样式单元测试框架。xUnit 使用前端之间的协议来显示测试结果和链接到应用程序的测试驱动程序 - 删除应用程序和图形之间的链接时间依赖关系，格式化库。

• sister 免费

  姐妹是 SoC 设计的高级合成器。它分析系统C（基于C++）源代码，并创建维里日志HDL源代码。

• Console GUI Library 免费

  控制台 GUI 库，类似于 TurboVision，但支持 Win32/DOS

• OsZ 免费

  OsZ - 微克内尔操作系统用装配语言编写。需要具有至少 4mb 或 RAM 和 x386（或更好的 x86 兼容）处理器的 IBM-PC 兼容计算机。

• GameBots: Agents in Computer Games 免费

  GameBots 是一个面向研究的平台，用于为电脑游戏构建人工智能自主代理。它提供了在计算机游戏环境中感知和操作的接口，以及代理的基准实现。

• QUnit 免费

  这是用于测试的另一个单元C++。但是，QUnit 感觉就像 50 行代码，很好地集成到您的开发环境中，并且不包含任何铃声和口哨。QUnit 更像是一个成语，只要在需要的时候实现就。