muxator

## execute_z3py_docs.py
#!/usr/bin/env python
#
# This script goes through the z3guide (https://github.com/microsoft/z3guide)
# python documentation, extracts the z3 snippets and executes them in a
# subintepreter, reporting errors.
#
# This is a follow-up to: https://github.com/microsoft/z3guide/pull/206
#
# Requires python >= 3.14

## etherpad-issue-3600.sh
#!/bin/bash

set -eu
set -o pipefail

PAD_NAME="shouldbepublic"
BASE_URL="http://localhost:9001"
APIKEY=$(<APIKEY.txt)

err_report() {

## python-projects-with-pyenv.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
            
              
                
                0 comments
              
            
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                muxator
                / python-projects-with-pyenv.md
            
            
              Created
              October 24, 2019 08:58
            
              
                Manage your python projects with pyenv 
              
          
        
      
        
  
      
    Pyenv installation

Prerequisites:

Install the following packages as an administrator. They will be needed when building python.
sudo apt install build-essential libbz2-dev libsqlite3-dev libreadline-dev libssl-dev zlib1g-dev libgdbm-dev liblzma-dev uuid-dev libffi-dev
Install pyenv
	#!/usr/bin/env python
	#
	# This script goes through the z3guide (https://github.com/microsoft/z3guide)
	# python documentation, extracts the z3 snippets and executes them in a
	# subintepreter, reporting errors.
	#
	# This is a follow-up to: https://github.com/microsoft/z3guide/pull/206
	#
	# Requires python >= 3.14
	#!/bin/bash

	set -eu
	set -o pipefail

	PAD_NAME="shouldbepublic"
	BASE_URL="http://localhost:9001"
	APIKEY=$(<APIKEY.txt)

	err_report() {