diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6,259 Commits 2 Branches 6 Tags 146 MiB
188f359496
Commit Graph

2 Commits

Author SHA1 Message Date
Tiago Gomes
64a27847cc Introduce a lifted solver class 2012-11-14 21:55:51 +00:00
Tiago Gomes
d4f63b3942 drop Solver suffix and rename some files and classes 2012-06-12 16:29:57 +01:00