Move picosat and py-pycosat from devel -> math

- Remove from devel/Makefile
- Add to math/Makefile
- Update CATEGORIES for both ports
- Add MOVED entries

While I'm here, sort MOVED entries causing MOVEDlint.awk error [1]
after r365599 [2]

[1] 6470: date going backwards from 2014-08-20 to 2014-08-15
[2] https://svnweb.freebsd.org/changeset/ports/365599

Suggested by:	vsevolod

1 files changed, 32 insertions, 0 deletions

diff --git a/math/py-pycosat/Makefile b/math/py-pycosat/Makefile
new file mode 100644
index 000000000000..81478b0ecdc4
--- /dev/null
+++ b/math/py-pycosat/Makefile
@@ -0,0 +1,32 @@
+# Created by: Kubilay Kocak <koobs@FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	pycosat
+PORTVERSION=	0.6.0
+CATEGORIES=	math python
+MASTER_SITES=	CHEESESHOP
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+
+MAINTAINER=	koobs@FreeBSD.org
+COMMENT=	Bindings to PicoSAT (a SAT solver)
+
+LICENSE=	MIT
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
+LIB_DEPENDS=	libpicosat.so:${PORTSDIR}/devel/picosat
+
+USES=		python
+USE_PYTHON=	autoplist distutils
+
+PYDISTUTILS_BUILDARGS=	build_ext \
+			-I${LOCALBASE}/include -L${LOCALBASE}/lib \
+			-DDONT_INCLUDE_PICOSAT \
+			-lpicosat
+
+post-install:
+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/python2.7/site-packages/pycosat.so
+
+regression-test: build
+	@cd ${WRKSRC} && ${PYTHON_CMD} ${PYDISTUTILS_SETUP} test
+
+.include <bsd.port.mk>