Conda est un système de gestion de paquets et de gestion d'environnement. Il est open-source, multiplateforme et indépendant de la langue. Écrit en Python, conda est inclus dans Miniconda et la distribution Anaconda Python.
J'ai installé le package z3-solver de PyPi dans mon environnement Python3 à l'aide d'Anaconda Prompt (pip install z3-solver) et c'est tout. Le package apparaî ...
J'utilise emacs et anaconda. J'ai ceci dans mon init.el: pyvenv-workon
Work on: (empty)
Et conda sur mon chemin: conda-env-list
*Conda envs*
mais emac ...
