搜索资源列表
zchaff.2004.5.13.tar
- 这是一种很好的SAT解析器。通过它,我们可以判断SAT问题是否有解,并且在有解的情况下能找到解-This is a good SAT resolver. Through it, we can determine whether the SAT problem to solve, and in the case of solvability can find solutions
zchaff.2008.10.12
- 这是一种非常有用的SAT解析器,速度快,结果准确。希望对大家有所帮助。-This is a very useful SAT resolver, fast, accurate and reliable. We hope to be helpful.
IP-Resolver.tar
- A program to Resolve IP. implemented using UNIX socket programming
ad2s120x
- Simple support for the ADI Resolver to Digital Converters: AD2S1200/1205.
ad2s1210
- Support for the ADI Resolver to Digital Converters: AD2S1210.
ad2s90
- LINUX系统上简单的支持ADI旋变数字转换器AD2S90-LINUX system support ADI resolver digital converter AD2S90
res_cache
- This code implements a small and simple DNS resolver cache.
xdgmime
- XDG Mime Spec mime resolver. Based on version 0.11 of the spec.
XPathNSResolver
- XPath NS Resolver for linux API Driver.
init_proxy_resolver
- Init Proxy Resolver for Linux Android Source Code. -Init Proxy Resolver for Linux Android Source Code.
init_proxy_resolver_unittest
- Init Proxy Resolver Test for Linux Source Code.
mock_host_resolver
- Mock Host Resolver Base Andriod Source Code for Linux.
proxy_resolver_js_bindings_unittest
- Proxy Resolver JS Bindings Test Web Interface for Linux. -Proxy Resolver JS Bindings Test Web Interface for Linux.
proxy_service
- Proxy resolver that fails every time for Linux Web Interface Manager.
single_threaded_proxy_resolver
- Single Threaded Proxy Resolver Source Code for Linux.
JSCustomXPathNSResolver
- JS Custom XPath NS Resolver for Linux Web Interface Manager.
JSXPathNSResolver
- JS XPath NS Resolver for Linux.
NativeXPathNSResolver
- Native XPath NS Resolver.
qdelegatingnamespaceresolver_p
- Delegating Namespace Resolver Source Code for Linux.
Resolver
- \class Resolver \brief Resolver binds a symbol reference one file to a symbol definition of another file. -\class Resolver \brief Resolver binds a symbol reference one file to a symbol definition of another file.