minisat+

lp://staging/minisat+

Created by Paulo Trezentos and last modified
Get this branch:
bzr branch lp://staging/minisat+
Only Paulo Trezentos can upload to this branch. If you are Paulo Trezentos please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Paulo Trezentos
Project:
minisat+
Status:
Development

Recent revisions

6. By Paulo Trezentos

Implementing alarm to minisat+

5. By Paulo Trezentos

Package changes

4. By Paulo Trezentos

cleaning

3. By Paulo Trezentos

Adding support for special characters in variables name. Document code

2. By Paulo Trezentos

Allow variables start by nu,bers since is normal in packages, e.g., 915resolution.

1. By Paulo Trezentos

Initial commit

Branch metadata

Branch format:
Branch format 6
Repository format:
Bazaar pack repository format 1 (needs bzr 0.92)
This branch contains Public information 
Everyone can see this information.

Subscribers