math/lingeling: New port: Lingeling SAT Solver
ade9f5ec107a
Actions

Description

math/lingeling: New port: Lingeling SAT Solver

Details

Provenance

Parents

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (8)

Path

Size

math/

R11:ade9f5ec107a

math/Makefile

math/lingeling/Makefile

math/lingeling/distinfo

math/lingeling/files/patch-configure.sh

math/lingeling/files/patch-lglib.h

math/lingeling: New port: Lingeling SAT Solverade9f5ec107aActions

Description

Details

Event Timeline

Changes (8)

R11:ade9f5ec107a

math/Makefile

math/lingeling/Makefile

math/lingeling/distinfo

math/lingeling/files/patch-configure.sh

math/lingeling/files/patch-lglib.h

math/lingeling/pkg-descr

math/lingeling: New port: Lingeling SAT Solver
ade9f5ec107a
Actions