#!/usr/bin/env python3
import sys
print(sys.version)
for p in ('z3','scipy','ortools','pysat','numpy'):
 try: print(p,__import__(p).__version__)
 except Exception as e: print(p, str(e))