Poussin proof assistant - Tasks: task #7937, unification algorithm
You are not allowed to post comments on this tracker with your current authentication level.
task #7937: unification algorithm
Submitter: | nicolas marti <alalme> | ||
Submitted: | Sat 12 Apr 2008 02:27:35 AM UTC | ||
Should Start On: | Fri 11 Apr 2008 03:00:00 PM UTC | Should be Finished on: | Fri 11 Apr 2008 03:00:00 PM UTC |
Category: | None | Priority: | 9 - Immediate |
Status: | None | Privacy: | Public |
Assigned to: | alalme | Percent Complete: | 0% |
Open/Closed: | Open | Effort: | 0.00 |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
No changes have been made to this item
Powered by Savane 3.13-d3ae.
Corresponding source code
need to rewrite the unification algorithm