Skip to content

Instantly share code, notes, and snippets.

View sriram-srinivasan's full-sized avatar

Sriram Srinivasan sriram-srinivasan

View GitHub Profile
@sriram-srinivasan
sriram-srinivasan / zebra.py
Created April 8, 2017 04:47
zebra puzzle; z3 based solution.
#zebra puzzle.
#
#There are five houses.
#The Englishman lives in the red house.
#The Spaniard owns the dog.
#Coffee is drunk in the green house.
#The Ukrainian drinks tea.
#The green house is immediately to the right of the ivory house.
#The Old Gold smoker owns snails.
#Kools are smoked in the yellow house.
@sriram-srinivasan
sriram-srinivasan / main.dart
Last active November 1, 2022 03:33
List + Textbook inside Column
import 'package:flutter/material.dart';
void main() {
runApp(const MyApp());
}
class MyApp extends StatelessWidget {
const MyApp({super.key});
@override