Skip to content

Complete solver #3

Open
Open
Complete solver#3
Labels
comigrateenhancement
@vouillon

Description

@vouillon
vouillon
opened on Nov 25, 2013

The Horn clause solver used by comigrate should eventually be replaced by a complete solver.

Metadata

Metadata

Assignees

No one assigned

    Labels

    comigrateenhancement

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions