The next version of InterBase is nearing completion, and, as always, will include a Partner DVD with demo versions of third-party tools supporting InterBase. If you are an InterBase Partner, you should have already been notified of how to submit your product.
If you produce a tool or component supporting InterBase and have not already received [...]
- csl comments on “The Z3 Theorem Prover released under MIT license” | blog.offeryour.com on "Test-Only Development" with the Z3 Theorem Prover
- Christian S. Larsen on "Test-Only Development" with the Z3 Theorem Prover
- jegadeesh on Using jqGrid with ASP.NET MVC: Search and Formatting
- Craig Stuntz’s Weblog : Provable Optimization with Microsoft Z3 on "Test-Only Development" with the Z3 Theorem Prover
- Guilherme Oliveira on Installing ActiveX Controls in RAD Studio 2007