Great SMT solver that pretty much solves problems that SMT solvers do.

Babylon, some kind of tetris with sourcecode.

发布/订阅系统路由重配算法,可应用于ad hoc环境-Publish/subscribe system routing re-allocation algorithm can be applied to ad hoc environment

java jsp编程源代码-java programming source code

一个J2EE四层架构的实例，采用jsp+javabean+sessionbean+entitybean做的,与大家共享： 1.开发环境用的jbuilder7.0+weblogic7.0+oracle9i(sqlserver2000) 2.sql语句如下： create table ejbAccounts (id varchar(15), bal float, type varchar(15)) 3.现在weblogic console下建立好数据源名：examples-dataSource-mssqlserverXAPool 4.可以用客户端测试和网页测试. -Four-tier structure of a J2EE instance, using jsp+ Javabean+ Sessionbean+ Entitybean to do, and sharing with everyone: 1. Development environment used jbuilder7.0+ Weblogic7.0+ Oracle9i (sqlserver2000) 2.sql statement is as follows: create table ejbAccounts (id varchar (15), bal float, type varchar (15)) 3. now weblogic console to establish a good data source name: examples-dataSource-mssqlserverXAPool 4. can be used client-side testing and website testing.

spring+dwr实现用户名是否存在的判断-spring+ dwr username realize the existence of the judge

java 输入流，java 输入流 java 输入流-java input stream, java java imported input stream flow java input stream

JAVA中实现的多线程实现的Web服务器-JAVA achieve the realization of multi-threaded Web server

一个用java编写的很有价值的记忆测试程序.-prepared with a value of the memory test.

java入门的几个代码,很实用,初学者不可错过-Some entry-java code, it is useful, for beginners not to be missed

实现搜索算法，广度深度优先等-search algorithm to achieve the breadth, depth and other priority