Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Ruby C Python Perl Objective-C C++ Shell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
SAT-Solver Using a Satisfyability Solver to compute package dependencies. See http://idea.opensuse.org/content/ideas/fast-installation-tool for the motivation. This code is based on two major, but independent, blocks 1. Using a dictionary approach to store and retrieve package and dependency information. 2. Using satisfiability, a well known and researched topic, for computing package dependencies. Google for 'sat solver' to get links to the theory behind it. http://del.icio.us/kkaempf/solver gives a collection of bookmarks related to this topic. Some research papers are in doc/pdf. Everything else is below doc. Please subscribe to firstname.lastname@example.org for any questions. * How to build Requires: cmake 2.4.x mkdir build cd build cmake .. make To install ruby bindings: make install To create a package make srcpackage see package/